Axiomatic projective geoemtry - Heyting A (1963)
Keywords: Geometry