Logic's Lost Genius and Gentzen's Centenary

DOI10.1090/NOTI1451MaRDI QIDQ2953017zbMATH OpenOpenAlexFDO

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)