scientific article
From MaRDI portal
Publication:3864489
zbMath0428.03017MaRDI QIDQ3864489
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessintuitionistic arithmeticstrong negationclassical model theoryintuitionistic predicate calculusconstructible falsity
Other nonclassical logic (03B60) 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: