| 000 | 01919cam a22003738i 4500 | ||
|---|---|---|---|
| 001 | 22397054 | ||
| 003 | OSt | ||
| 005 | 20230320143358.0 | ||
| 006 | m |o d | | ||
| 007 | cr_||||||||||| | ||
| 008 | 211202s2022 enk o 001 0 eng | ||
| 010 | _a 2021057960 | ||
| 020 |
_z9781108949477 _q(paperback) |
||
| 040 |
_aDLC _beng _cIISERB _erda |
||
| 042 | _apcc | ||
| 050 | 0 | 0 | _aQA9 |
| 082 | 0 | 0 |
_a005.131 G586M _223 |
| 084 |
_aCOM051010 _2bisacsh |
||
| 100 | 1 |
_aGonczarowski, Yannai A. _eauthor. _929169 |
|
| 245 | 1 | 0 |
_aMathematical logic through Python _cYannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem. |
| 260 |
_aCambridge: _bCambridge University Press, _c2022. |
||
| 263 | _a2203 | ||
| 300 | _axii, 271p. | ||
| 500 | _aIncludes index. | ||
| 520 | _a"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"-- | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical. _929170 |
|
| 650 | 0 |
_aPython (Computer program language) _929171 |
|
| 650 | 7 |
_aCOMPUTERS / Languages / General _2bisacsh _929172 |
|
| 700 | 1 |
_aNisan, Noam, _eauthor. _929173 |
|
| 776 | 0 | 8 |
_iPrint version: _aGonczarowski, Yannai A., 1981- _tMathematical logic through Python _dCambridge, United Kingdom ; New York, NY : Cambridge University Press, [2022] _z9781108845076 _w(DLC) 2021057959 |
| 906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c10002 _d10002 |
||