Logical Labyrinths

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 authora (TM)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.

Raymond M. Smullyan is a highly-regarded research mathematician and a successful author with numerous popular books on logic puzzles, as well as more technical works on logic. In addition, he is a magician, close friend of Martin Gardner, and a very popular figure in the international puzzle community.