Product Description: This book provides an introduction to Kurt Godel's theorems through a collection of puzzles interspersed with an account of symbolic logic. Godel's argument has been transferred from the formal domain of mathematical systems in an attempt to make its essential ideas more accessible to the general reader...read more

Eighty paradoxes, logical lobyrinths, and intriguing enigmas progress from light fables and fancies to challenging Zen exercises and a novella and probe the timeless questions of philosophy and life

A philosopher, logician, mathematician, humorist, and magician presents a collection of puzzles ranging from simple arithmetic puzzles that can be solved by the very young to complex logic puzzles that require the ability to reason logically

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

Product Description: This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.