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

Jump to:navigation, search

zbMath0770.03019MaRDI QIDQ3362716

Valery Plisko

Publication date: 1992

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

zbMATH Keywords

complexity completeness constructive logics constructive arithmetic intuitionistic deducibility rules

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (3)

Arithmetic complexity of the predicate logics of certain complete arithmetic theories ⋮ A survey of predicate realizability logic ⋮ Predicate logics of expressively strong theories

This page was built for publication:

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