[FOM] Query: references on intuitionistic Euclidean geometry

Alasdair Urquhart urquhart at cs.toronto.edu
Fri Nov 20 14:50:19 EST 2009

Arend Heyting published a paper entitled

 	Axioms for intuitionistic plane affine geometry.

in the collection "The axiomatic method. 
With special reference to geometry and physics.", Proceedings of an 
International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 
1957-Jan 4, 1958 (edited by L. Henkin, P. Suppes and A. Tarski) pp. 
160--173 Studies in Logic and the Foundations of Mathematics North-Holland 
Publishing Co., Amsterdam.

Alasdair Urquhart

More information about the FOM mailing list