Toposes, algebraic geometry and logic
Dalhousie University
Jan. 16-19
Bucur, I. (Secondaire) ; Giraud, J. (Secondaire) ; Goodman, N. (Secondaire) ; Lawvere, F. W. (Editeur)
1972
978-3-540-05920-2
00021172
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
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne RFA
Langue : Anglais
EAN13 : 9783540059202
ISBN : 3-540-05920-2
Collation : 189 p. ; 26 cm ; Bibliogr. ; rel.
Collection : Lecture notes in mathematics
N° de collection : 0274
Localisation : Collection 1er étage
Notes : 4 volumes relés ensemble L21169 à L21172
Année de la rencontre : 1971
Ville du congrès : Halifax
Pays du congrès : Canada
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00021172 | [disponible] |