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
A survey of mathematical logic, part II: post-1931 - MaRDI portal

A survey of mathematical logic, part II: post-1931

From MaRDI portal

Publication:4715107

Jump to:navigation, search

DOI10.2307/3619561zbMath0858.03006OpenAlexW4230008224MaRDI QIDQ4715107

Graham T. Q. Hoare

Publication date: 16 December 1996

Published in: The Mathematical Gazette (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/3619561

zbMATH Keywords

survey nonstandard analysis computability GCH Gödel incompleteness theorem recursive functions AC

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)

This page was built for publication: A survey of mathematical logic, part II: post-1931

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