To Mock a Mocking Bird and Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic
Puzzles of logic involve knights, knaves, gods, demons, and mortals, and Inspector Craig conducts a summer-long adventure in combinatory logic, basic to computer science and artificial intelligence