Mathematical Logic through Python

DOI10.1017/9781108954464zbMath1495.03001OpenAlexW4293279192MaRDI QIDQ5086249

Yannai A. Gonczarowski, Noam Nisan

Publication date: 5 July 2022

Full work available at URL: https://doi.org/10.1017/9781108954464

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Uses Software

• Python

This page was built for publication: Mathematical Logic through Python