Axioms for intuitionistic mathematics incompatible with classical logic - Troelstra, Anne S. 1939-2019 (1975)
Keywords: Axioms; Intuitionistic mathematics