TY  - BOOK
AU  - Gonczarowski,Yannai A.
AU  - Nisan,Noam
TI  - Mathematical logic through Python 
AV  - QA9 
U1  - 005.131 G586M 23
PY  - 2022///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Python (Computer program language)
KW  - COMPUTERS / Languages / General
KW  - bisacsh
N1  - Includes index
N2  - "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"--
ER  -