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

scientific article; zbMATH DE number 2233169

From MaRDI portal

Publication:5708274

Jump to:navigation, search

zbMath1086.03051MaRDI QIDQ5708274

Douglas S. Bridges

Publication date: 28 November 2005

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

zbMATH Keywords

survey constructive mathematics constructivity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65)

Related Items (1)

Truth, proof and infinity. A theory of constructions and constructive reasoning

This page was built for publication:

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