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

scientific article; zbMATH DE number 1251243

From MaRDI portal

Publication:4230934

Jump to:navigation, search

zbMath0915.03010MaRDI QIDQ4230934

Piotr Łukowski

Publication date: 5 July 1999

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

zbMATH Keywords

intuitionistic logic law of excluded middle deductive reasoning Heyting-Brouwer logic classical tautologies reductive reasoning

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) 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:4230934&oldid=18109218"