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