TY  - BOOK
AU  - Heyting, A
TI  - Axiomatic projective geometry
N1  - B6:7 K41
ER  -