Axiomatic projective geometry - Goodstein R L; Primrose E J F (1958)