scientific article
From MaRDI portal
Publication:2760586
zbMath0987.01018MaRDI QIDQ2760586
Publication date: 13 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02)
Related Items (4)
Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation ⋮ On the relations between Heinrich Scholz and Jan Łukasiewicz
This page was built for publication:
