Axiomatic projective Geometry - Heyting, Arend (Bibliotheca mathematica, 1963)