Axioms for intuitionistic mathematics incompatible with classical logic
By: by A. S. Troelstra.
Series: Report - Dept. of Mathematics, University of Amsterdam ; 75-13
Publisher: Mathematisch Instituut
Published: 1975
Place of publication: Amsterdam
Language: eng
Number of pages: 28
Subjects: Intuitionistic mathematics.; Axioms.
Notes: Bibliography: p. 26-28.