Heyting, A. <br/><br/>
Axiomatic Projective Geometry 

 -  1963. 148 
 -  John Wiley. New York, U.S.A.