An Introduction to Proof Theory

DOI10.1093/OSO/9780192895936.001.0001MaRDI QIDQ5010232zbMATH OpenOpenAlexWikidataFDO

Authors Paolo Mancosu, Sergio Galvan, Richard Zach

Publication date 24 August 2021

Full work available at URL https://doi.org/10.1093/oso/9780192895936.001.0001

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 1215493
• Ordinal Analysis with an Introduction to Proof Theory
• Structural proof theory. With an appendix by Aarne Ranta
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

This page was built for publication: An Introduction to Proof Theory

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