TY - BOOK AU - Heyting A TI - Axiomatic projective geometry U1 - B6:7, K32 PY - 1963/// KW - Geometry ER -