Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971

Toposes, algebraic geometry and logic Dalhousie University, Halifax, January 16-19, 1971

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Dalhousie University (BerichterstatterIn), Conference on Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic (BerichterstatterIn)
Weitere Verfasser: Lawvere, Francis W. (BerichterstatterIn, HerausgeberIn), Bucur, Ion (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1972
Schriftenreihe:Lecture notes in mathematics 274
Schlagworte:
Categories (Mathematics) > Congresses > Geometry, Algebraic > Logic, Symbolic and mathematical > Toposes > Mathematics, general > Mathematics > Konferenzschrift > Algebraische Geometrie > Kategorientheorie > Intuitionistische Mathematik > Logik > Geometrie > Algebra > Mathematische Logik
Online Zugang:Inhaltsverzeichnis
Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:189 S.
ISBN:3540059202
3-540-05920-2
0387059202
0-387-05920-2