TY - BOOK AU - Heyting A TI - Axiomatic projective geoemtry U1 - B6:7, K31;4-;6 PY - 1963/// KW - Geometry ER -