Axiomatic projective geometry - Heyting A (1963)
Keywords: Projective geometry