Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
| Author(s) :- Nisan Noam (Hebrew University of Jerusalem) | Format :- Paperback |
| Publisher :- Cambridge University Press | Pub. Date :- 2022-09-15 |
| ISBN-13 :- 9781108949477 | |
| Pagination :- 284 pages, Worked examples or Exercises | |
| Dimensions :- 178 x 253 x 19 | |
| Weight :- 614 |
In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests.