Axiomatic Projective Geometry - Heyting A. (Amsterdam North-Holland Company, 1980)