We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Mathematical Logic through Python.
- Authors
SWIFT, TIM
- Abstract
The article is a review of the book "Mathematical Logic through Python" by Y. A. Gonczarowski and N. Nisan. The book is aimed at computer science students but also has relevance for mathematics students. It covers propositional and first-order predicate logic, including Gödel's Completeness Theorem, using the Python programming language. The book includes programming exercises and provides additional online resources. The reviewer finds the book to be a useful addition to the library of mathematical logic textbooks and recommends it for computer science and mathematics students.
- Subjects
MATHEMATICAL logic; PYTHON programming language; PYTHONS; MATHEMATICAL programming; MATHEMATICAL proofs; COMPUTER science students
- Publication
Bulletin of the Irish Mathematical Society, 2023, Issue 92, p65
- ISSN
0791-5578
- Publication type
Article
- DOI
10.33232/BIMS.0092.65.67