Français
Toposes, algebraic geometry and logic
Dalhousie University
Jan. 16-19
Bucur, I. (Secondaire) ; Giraud, J. (Secondaire) ; Goodman, N. (Secondaire) ; Lawvere, F. W. (Editor)
1972
978-3-540-05920-2
00021172
03-06 ; 03Exx ; Complete lattices, completions ; 14Axx ; 14L99
complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne RFA
Language : English
EAN13 : 9783540059202
ISBN : 3-540-05920-2
Collation : 189 p. ; 26 cm ; Bibliogr. ; rel.
Series : Lecture notes in mathematics
Nb in series : 0274
Location : Collection 1er étage
Notes : 4 volumes relés ensemble L21169 à L21172
Event Year : 1971
City of congres : Halifax
Country of congres : Canada
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00021172 | [available] |
