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

scientific article; zbMATH DE number 2101972

From MaRDI portal

Publication:4817198

Jump to:navigation, search

zbMath1058.03012MaRDI QIDQ4817198

Mark van Atten, Dirk van Dalen

Publication date: 22 September 2004

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

zbMATH Keywords

semantics intuitionistic logic intuitionism choice sequences creating subject

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)

Related Items (1)

Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

This page was built for publication:

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