Mathematical Logic through Python - 9781108949477

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.

• | : Yannai A. Gonczarowski (Harvard University, Massachusetts), Noam Nisan (Hebrew University of Jerusalem)
• | Publisher: Cambridge University Press
• | Publication Date: Sep 15, 2022
• | Country of Publication: United Kingdom
• | Number of Pages: 284 pages
• | Language: Unknown
• | Binding: Paperback / softback
• | ISBN-10: 1108949479
• | ISBN-13: 9781108949477