scientific article; zbMATH DE number 5219795
From MaRDI portal
Publication:5430147
zbMATH Open1192.01022MaRDI QIDQ5430147FDOQ5430147
Authors: Eckart Menzler-Trott 
Publication date: 13 December 2007
Title of this publication is not available (Why is that?)
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of mathematical logic and foundations (03-03)
Cited In (10)
- Title not available (Why is that?)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
- Diagrams in mathematics
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- Lorenzen Between Gentzen and Schütte
- Decoding Gentzen's Notation
- Title not available (Why is that?)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
- Lorenzen's Proof of Consistency for Elementary Number Theory
- A sequent calculus isomorphic to Gentzen's natural deduction
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 Q5430147)
