Mathematical Logic and Computation

DOI10.1017/9781108778756MaRDI QIDQ5093873zbMATH OpenOpenAlexFDO

Authors Jeremy Avigad

Publication date 1 August 2022

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx) Proof theory and constructive mathematics (03Fxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer science support for mathematical research and practice (68Vxx)

Recommendations

• scientific article; zbMATH DE number 4121954
• Introduction to mathematical logic
• Mathematical Logic
• A beginner's guide to mathematical logic
• A beginner's guide to mathematical logic

Cited in

(8)

• scientific article; zbMATH DE number 1852932 (Why is no real title available?)
• scientific article; zbMATH DE number 5063195 (Why is no real title available?)
• Mathematical logic. Foundations for information science
• A step towards absolute versions of metamathematical results
• Mathematical model of stored logic based computation
• On the completeness of interpolation algorithms
• An isomorphism theorem for models of weak König's lemma without primitive recursion
• Completeness of interpolation algorithms in classical and non-classical logics

This page was built for publication: Mathematical Logic and Computation

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