"Índice: I. Be wise, generalize! 1. The logic of lying and truth-telling 2. Male or female? 3. Silent knights and knaves 4. Mad or sane? 5. The difficulties double! 6. A unification II. Be wise, simbolize! 7. Beginning propositional logic 8. Liars, truth-tellers, and propositional logic 9. Variable liars 10. Logical connectives and variable liars 11. The tableau method 12. All and some 13. Beginning first-order logic. III. Infinity 14. The nature of infinity 15. Mathematical induction 16. Generalized induction, König's Lemma, compactness IV. Fundamentals results in first-order logic 17. Fundamental results in propositional logic..."
"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 autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description."
"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 autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description."@en

Logical labyrinths