Gonczarowski, Yannai A. (Harvard University, Nisan, Noam (Hebrew University of Jerusalem)
Description
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.
I have a question about the book:
'Mathematical Logic through Python - Gonczarowski, Yannai A. (Harvard University, Nisan, Noam (Hebrew University of Jerusalem)'.
Fill in the form below.
We will respond as fast as possible.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info