TY - BOOK AU - Heyting A TI - Axiomatic projective geometry U1 - 516.5 PY - 1963/// CY - Amsterdam PB - North-Holland KW - Projective geometry ER -