---

＜電子ブック＞
Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16-19, 1971 / edited by F. W. Lawvere
(Lecture Notes in Mathematics. ISSN:16179692 ; 274)

版	1st ed. 1972.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1972
大きさ	VIII, 193 p : online resource
著者標目	Lawvere, F. W editor SpringerLink (Online service)
件　名	LCSH:Mathematics FREE:Mathematics
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0073961

 類似資料