“The difficulties and paradoxes of everyday language and logical thought are used in this book to present a novel method for teaching mathematical logic. It acts as a transition between the author’s puzzle books and his academic writing on the intriguing topic of mathematical logic. The author introduces the readers to informal reasoning using the logic of lying and telling the truth, preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a field with numerous significant applications to philosophy, mathematics, and computer science. The fascinating labyrinths of infinity have sparked mankind’s imagination as much as, if not more than any other subject, are explored in the book.”
Raymond Smullyan