scientific article
From MaRDI portal
Publication:3079618
zbMATH Open1208.03009MaRDI QIDQ3079618
Publication date: 2 March 2011
Title of this publication is not available (Why is that?)
History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Relative consistency and interpretations (03F25)
Related Items (2)
Title not available (Why is that?) ⋮ Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079618)
