Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and the foundations of mathematics
DOI10.1007/S11225-019-09864-3zbMath1435.00038OpenAlexW2943834712WikidataQ127911276 ScholiaQ127911276MaRDI QIDQ2001370
Publication date: 3 July 2019
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-019-09864-3
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) External book reviews (00A17) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)
This page was built for publication: Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and the foundations of mathematics
