@book{9045,
	author = {Conference on "Connections Between Category theory and Algebraic Geometry and Intutionistic Logic", Halifax, Canada, Jan. 16-19, 1971 and Bucur, I. B.},
	title = {Toposes, algebraic geometry and logic; proceedings /},
	publisher = {Springer-Verlag,},
	year = {1972},
	address = {Berlin:}
}