Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Berlin
Springer-Verlag
1972
]iv[, 189p.: ill
Lecture notes in mathematics; Vol.472
Report of a Conference on "Connections between category theory and Algebraic Geometry & Intuitionistic Logic" ... 1971, sponsored by Dalhousie University