Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16-19, 1971. 1st ed. 1972
- 種類:
- 電子ブック
- 責任表示:
- edited by F. W. Lawvere
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1972
- 著者名:
- シリーズ名:
- Lecture Notes in Mathematics ; 274
- ISBN:
- 9783540376095 [3540376097]
- 注記:
- 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.
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer-Verlag |
Springer-Verlag London Limited |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag Berlin Heidelberg |
|
Springer-Verlag Berlin Heidelberg |
Springer US |
|
Springer London : Imprint: Springer |
Springer Science+Business Media, LLC |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag Berlin Heidelberg |
|
Springer New York : Imprint: Birkhäuser |
Springer Berlin Heidelberg : Imprint: Springer |
