TY  - BOOK
AU  - Bucur,I.
AU  - Giraud,J.
AU  - Goodman,N.
AU  - Myhill,J.
AU  - Illusie,L.
AU  - Lambek,J.
AU  - Scott,D.S.
AU  - Tierney,M.
AU  - Lawvere,F.W.
ED  - SpringerLink (Online service)
TI  - Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971 
T2  - Lecture Notes in Mathematics,
SN  - 9783540376095
AV  - QA1-939 
U1  - 510 23
PY  - 1972///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Mathematics
KW  - Mathematics, general
N1  - Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes
UR  - http://dx.doi.org/10.1007/BFb0073961
ER  -