Right but I think the typography/scan quality and not being able to read the rest of the text for context is leading you astray here - this book is roughly at t

Right but I think the typography/scan quality and not being able to read the rest of the text for context is leading you astray here - this book is roughly at the level of the more basic Usborne books. It's a long, long way from mentioning lambda calculus.