scientific article; zbMATH DE number 5219795
From MaRDI portal
Publication:5430147
zbMath1192.01022MaRDI QIDQ5430147
Publication date: 13 December 2007
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 (10)
Unnamed Item ⋮ Unnamed Item ⋮ Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM ⋮ A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION ⋮ From mathematical axioms to mathematical rules of proof: recent developments in proof analysis ⋮ Diagrams in mathematics ⋮ Decoding Gentzen's Notation ⋮ Lorenzen Between Gentzen and Schütte
This page was built for publication:
