Toposes, Algebraic Geometry and Logic
Dalhousie University, Halifax, January 16-19, 1971
(Sprache: Englisch)
Leider schon ausverkauft
versandkostenfrei
Buch
26.70 €
Produktdetails
Produktinformationen zu „Toposes, Algebraic Geometry and Logic “
Inhaltsverzeichnis zu „Toposes, Algebraic Geometry and Logic “
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.
Bibliographische Angaben
- Autoren: I. Bucur , J. Giraud , N. Goodman , J. Myhill , L. Illusie , J. Lambek , D. S. Scott , M. Tierney
- 1972, 204 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: F. W. Lawvere
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540059202
- ISBN-13: 9783540059202
- Erscheinungsdatum: 09.08.1972
Sprache:
Englisch
Kommentar zu "Toposes, Algebraic Geometry and Logic"
0 Gebrauchte Artikel zu „Toposes, Algebraic Geometry and Logic“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Toposes, Algebraic Geometry and Logic".
Kommentar verfassen