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
On a hierarchy of methods of interpreting propositions in constructive mathematics - MaRDI portal

On a hierarchy of methods of interpreting propositions in constructive mathematics

From MaRDI portal

Publication:1225608

Jump to:navigation, search

zbMath0326.02025MaRDI QIDQ1225608

N. A. Shanin

Publication date: 1976

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)

Related Items (1)

Nikolai Aleksandrovich Shanin (obituary)

This page was built for publication: On a hierarchy of methods of interpreting propositions in constructive mathematics

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