[FOM] Query: references on intuitionistic Euclidean geometry

[Alasdair Urquhart]

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