Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Logic's Lost Genius and Gentzen's Centenary - MaRDI portal

Logic's Lost Genius and Gentzen's Centenary

From MaRDI portal

Publication:2953017

Jump to:navigation, search

DOI10.1090/noti1451zbMath1352.00009OpenAlexW2551209319MaRDI QIDQ2953017

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

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2953017&oldid=15951416"