Axiomatic Projective Geometry. - Heyting, Arend, 1898-1980 (Bibliotheca Mathematica, 1980)