000			a
999			_c32246 _d32246
008			231101b xxu||||| |||| 00| 0 eng d
020			_a9781108949477
082			_a005.131 _bGON
100			_aGonczarowski, Yannai A.
245			_aMathematical logic through Python
260			_bCambridge University Press, _c2022 _aCambridge :
300			_axii, 271 p. ; _bill., _c26 cm.
365			_b22.99 _cGBP _d107.60
504			_aIncludes index.
520			_aAn 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.
650			_aGodels incompleteness Theorem
650			_aCompleteness Theorem
650			_aDeduction Theorem
650			_aLogical Operators
650			_aConjunctive normal form
650			_aPolish Notations
650			_aPropositional logic syntax
700			_aNisan, Noam
942			_2ddc _cBK