TY  - BOOK
AU  - Conference on "Connections Between Category theory and Algebraic Geometry and Intutionistic Logic", Halifax, Canada, Jan. 16-19, 1971
AU  - Bucur, I. B.
TI  - Toposes, algebraic geometry and logic; proceedings
SN  - 3540059202
U1  - 512 
PY  - 1972///
CY  - Berlin
PB  - Springer-Verlag
ER  -