Mathematical Logic through Python, Paperback

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.

• Publisher: Cambridge University Press
• Author(s): Noam (Hebrew University of Jerusalem) Nisan
• Illustration(s): Worked examples or Exercises
• Number of pages: 284
• Publication date: 2022
• Dimensions: 178 x 253 x 19
• Cover type: Paperback / softback