scientific article; zbMATH DE number 5219795

MaRDI QIDQ5430147zbMATH OpenFDO

Authors Eckart Menzler-Trott

Publication date 13 December 2007

Mathematics Subject Classification ID

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)

• scientific article; zbMATH DE number 7089067 (Why is no real title available?)
• 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
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
• Lorenzen's Proof of Consistency for Elementary Number Theory
• Controlling a population
• 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)