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:3939797

Jump to:navigation, search

zbMath0482.03024MaRDI QIDQ3939797

Mariko Yasugi

Publication date: 1982

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

zbMATH Keywords

primitive recursive functional functional interpretation of transfinite induction infinite primitive recursive terms syntactic expression

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50)

Related Items (2)

The machinery of consistency proofs ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

This page was built for publication:

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