Title: Axioms for intuitionistic mathematics incompatible with classical logic
First published: 1975
Subjects: Intuitionistic mathematics, Axioms
LC classification: QA9.47 .T76