Media type: Book; Conference Proceedings Title: Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 Contributor: Lawvere, Francis William [Other]; Bucur, Ion [Other]; Lawvere, Francis W. [Hrsg.] Corporation: Dalhousie University Event: Conference on Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic imprint: Berlin [u.a.]: Springer, 1972 Published in: Lecture notes in mathematics ; 274 Extent: 189 S. Language: English ISBN: 3540059202; 0387059202 RVK notation: SI 850 : Lecture notes in mathematics Keywords: Algebraische Geometrie > Kategorientheorie > Intuitionistische Mathematik Algebraische Geometrie > Logik Geometrie Algebra Mathematische Logik Algebraische Geometrie > Mathematische Logik Origination: Footnote: