TY - BOOK AU - Heyting A TI - Axiomatic projective geometry U1 - B6:7, K31;1 PY - 1963/// KW - Projective geometry ER -