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.