Search for Author All Reviews
	Gonczarowski, Yannai A.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews        Mathematical logic through Python Gonczarowski Y., Nisan N., Cambridge University Press, Cambridge, UK, 2022. 284 pp.  Type: Book (1108949479), Reviews: (2 of 2) I well remember, after many years, my surprise and awe at the beauty of the structure of my undergraduate course on logic and computability, which led students from the basics of propositional logic to Gödel’s incompleteness theorems. U...... Jun 27 2023     Mathematical logic through Python Gonczarowski Y., Nisan N., Cambridge University Press, Cambridge, UK, 2022. 284 pp.  Type: Book (1108949479), Reviews: (1 of 2) Mathematical logic through Python, by Gonczarowski and Nisan, provides a Python implementation of logical concepts and mathematical proofs. It aims at covering major topics for a typical undergraduate course in mathematical logic....... Apr 11 2023
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy