scientific article; zbMATH DE number 837776

MaRDI QIDQ4863684zbMATH OpenFDO

Authors Přemysl Vihan

Publication date 13 May 1996

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) Sociology (and profession) of mathematics (01A80)

Recommendations

• scientific article; zbMATH DE number 1682099
• scientific article; zbMATH DE number 1947356
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Gentzen's original consistency proof and the bar theorem
• A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper

Cited in

(3)

• Computer Aided Verification
• A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper
• Obituary: Gerd Baron 1940--2019

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 Q4863684)