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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3813782

Jump to:navigation, search

zbMath0663.01008MaRDI QIDQ3813782

Solomon Feferman

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursion theory ordinal logics theory of ordinals

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03)

Related Items

On mind \& Turing's machines, Proof Theoretic Analysis by Iterated Reflection, The scope of Gödel's first incompleteness theorem, Mechanism, truth, and Penrose's new argument

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