scientific article; zbMATH DE number 3666766
From MaRDI portal
Publication:3864489
zbMATH Open0428.03017MaRDI QIDQ3864489FDOQ3864489
Authors: A. P. Hazen 
Publication date: 1980
Title of this publication is not available (Why is that?)
completenessstrong negationintuitionistic arithmeticclassical 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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3864489)
