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
Theory of Provable Recursive Functions - MaRDI portal

Theory of Provable Recursive Functions

From MaRDI portal

Publication:5338326

Jump to:navigation, search

DOI10.2307/1994221zbMath0129.26001OpenAlexW4250345862MaRDI QIDQ5338326

Patrick C. Fischer

Publication date: 1965

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

zbMATH Keywords

mathematical logic

Related Items

Complexity classes of provable recursive functions, Independence results in computer science?, Relations between diagonalization, proof systems, and complexity gaps, On “provable” analogs of and, A note on inverses of elementary permutations

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