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; zbMATH DE number 3503210 - MaRDI portal

scientific article; zbMATH DE number 3503210

From MaRDI portal

Publication:4083404

Jump to:navigation, search

zbMath0322.02034MaRDI QIDQ4083404

N. N. Nepejvoda

Publication date: 1975

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

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Intermediate logics (03B55) Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)

Related Items

Theory of proofs (arithmetic and analysis)

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