scientific article
From MaRDI portal
Publication:3101104
zbMATH Open1244.03010MaRDI QIDQ3101104
Publication date: 22 November 2011
Title of this publication is not available (Why is that?)
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Related Items (3)
Herbrand consistency of some arithmetical theories ⋮ EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS ⋮ 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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3101104)
