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

scientific article; zbMATH DE number 3042973

From MaRDI portal

Publication:5782217

Jump to:navigation, search

zbMath0027.15303MaRDI QIDQ5782217

Arend Heyting

Publication date: 1941

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

zbMATH Keywords

intuitionistic algebra

Mathematics Subject Classification ID

Applications of logic to commutative algebra (13L05) Intuitionistic mathematics (03F55)

Related Items (4)

V. Yankov’s Contributions to Propositional Logic ⋮ Semigroups with apartness ⋮ A very weak Nullstellensatz over Heyting fields ⋮ Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice

This page was built for publication:

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