Mathematical logic through Python

DOI10.1017/9781108954464MaRDI QIDQ5086249zbMATH OpenOpenAlexFDO

Authors 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) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Classical propositional logic (03B05) Classical first-order logic (03B10)

Recommendations

• The mathematics of logic. A guide to completeness theorems and their applications
• Sets, models and proofs
• scientific article; zbMATH DE number 4104914
• scientific article; zbMATH DE number 5306054
• Introduction to mathematical logic

Cited in

(1)

• To infinity and beyond: a general framework for scaling economic theories

Describes a project that uses

Uses Software

• Python

This page was built for publication: Mathematical logic through Python

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086249)