Mathematical logic through Python / Yannai A. Gonczarowski and Noam Nisan.

Includes index.

Part I : Propositional logic -- 1. Propositional logic syntax -- 2. Propositional logic semantics -- 3. Logical operators -- 4. Proof by deduction -- 5. Working with proofs -- 6. The tautology theorem and completeness of propositional logic -- Part II : Predicate logic -- 7. Predicate logic syntax and semantics -- 8. Getting rid of functions and equality -- 9. Deductive proofs of predicate logic formulas -- 10. Working with predicate logic proofs -- 11. The deduction theorem and prenex normal form -- 12. The completeness theorem -- 13. Sneak peek at mathematical logic II: Godel's incompleteness theorem -- Cheatsheet: axioms and axiomatic inference rules used in this book -- Index.

"An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided"-- Provided by publisher.