Toposes, algebraic geometry and logic
Lawvere, F. W. (Ed.)
1972
189 p.
3-540-05920-2
M/A1(274)
algèbre homologique ; catégorie ; ensemble ; ensemble ordonné ; géométrie algébrique ; logique ; topose
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03E35 ; 03E70 ; 06A23 ; 14A20 ; 14A99 ; 14L99 ; 18A15 ; 18B05 ; 18D15 ; 18F10 ; 18F20
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 26 cm
Collection : Lecture notes in mathematics
N° de collection : 0274
Bibliographie : Notes bibliographiques
Nom du congrès : Conference on connections between category theory and algebraic geometry and intuitionistic logic
Lieu du congrès : Halifax, Nova Scotia
Pays du congrès : Canada
Date du congrès : January 16-19, 1971
N° | Cote / Code barre | Localisation | Commentaire | |
---|---|---|---|---|
1 | M/A1(274) MAT014155 | [disponible] | YRéserver |