This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author 's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject.

Combining stories of great writers and philosophers with quotations and riddles, this text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics.

These logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. No background in formal logic necessary.

Un conjunto ameno de problemas, pasatiempos y enigmas que introducen, en forma de acertijos, todos los conceptos basicos de la logica.

Un divertido libro de juegos y acertijos logicos que se diferencia de la mayaria de las obras de este genero en que los problemas que presenta como amenos pasatiempos no son intrascendentes, pues introducen al lector en importantes cuestiones de la logica, la teoria la teoria de conjuntos y la teoria de la computabilidad.