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

Jump to:navigation, search

zbMath1298.03049MaRDI QIDQ3508007

Thierry Coquand

Publication date: 27 June 2008

Full work available at URL: https://link.springer.com/chapter/10.1007/978-3-540-36351-4_2

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

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication:

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