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

scientific article; zbMATH DE number 2110616

From MaRDI portal

Publication:4823136

Jump to:navigation, search

zbMath1056.03034MaRDI QIDQ4823136

Jean-Yves Girard

Publication date: 26 October 2004

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

zbMATH Keywords

logical framework structures of proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22)

This page was built for publication:

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