Publication:5430147
From MaRDI portal
zbMath1192.01022MaRDI QIDQ5430147
Publication date: 13 December 2007
01A60: History of mathematics in the 20th century
01A70: Biographies, obituaries, personalia, bibliographies
03-03: History of mathematical logic and foundations
01-02: Research exposition (monographs, survey articles) pertaining to history and biography
Related Items
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM, Lorenzen Between Gentzen and Schütte, Unnamed Item, Unnamed Item, From mathematical axioms to mathematical rules of proof: recent developments in proof analysis, Decoding Gentzen's Notation, Lorenzen's Proof of Consistency for Elementary Number Theory, Herbrand's fundamental theorem in the eyes of Jean van Heijenoort, Diagrams in mathematics, A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION