TY - BOOK AU - Heyting A TI - Axiomatic projective geometry U1 - B6:7, K3 PY - 1963/// CY - Groningen PB - P.Noordhoff KW - MATHEMATICS ER -