Logic's Lost Genius and Gentzen's Centenary

DOI10.1090/NOTI1451zbMATH Open1352.00009OpenAlexW2551209319MaRDI QIDQ2953017FDOQ2953017

Authors: Jeremy Avigad 

Publication date: 2 January 2017

Published in: Notices of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/noti1451

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)

This page was built for publication: Logic's Lost Genius and Gentzen's Centenary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2953017)