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 2051381 - MaRDI portal

scientific article; zbMATH DE number 2051381

From MaRDI portal

Publication:4453637

Jump to:navigation, search

zbMath1038.03009MaRDI QIDQ4453637

Andreas Blass

Publication date: 7 March 2004

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

zbMATH Keywords

classical predicate logic game semantical validity Herbrand validity

Mathematics Subject Classification ID

Applications of game theory (91A80) Classical first-order logic (03B10) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Many concepts and two logics of algorithmic reduction

This page was built for publication:

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