Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
محفوظ في:
| المؤلفون الرئيسيون: | Bucur, Ion, 1930-1976, Giraud, Jean, 1936-2007, mathématicien (مؤلف), Goodman, Nicolas D., 19..-...., mathématicien (مؤلف), Myhill, John R., 1923-1987, mathématicien (مؤلف), Illusie, Luc, 1940- (مؤلف), Lambek, Joachim, 1922-2014 (مؤلف), Scott, Dana S., 1932- (مؤلف), Tierney, Myles, 1937-2017 (مؤلف) |
|---|---|
| مؤلفون آخرون: | Lawvere, Francis William, 1937- (مدير النشر) |
| التنسيق: | Livre papier |
| اللغة: | Anglais |
| منشور في: |
Berlin ; New-York :
Springer
1972.
|
| سلاسل: | Lecture notes in mathematics
274 |
| الموضوعات: | |
| ملاحظة: |
Actes de la conférence donnée à Halifax, Nouvelle Ecosse, Canada du 16 au 19 Janvier 1971 sous les auspices de l'Université Dalhousie Autres contributions : J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney (auteurs) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Toposes, algebraic geometry and logic, Dalhousie University, Halifax, January 16-19, 1971, I. Bucur, J. Giraud, N. Goodman,... [et al.], 20XX, Berlin [etc.], Springer, Lecture Notes in Mathematics, 978-3-540-37609-5 |
مواد مشابهة
-
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
(Livre numérique)
Bucur, Ion, 1930-1976, وآخرون -
Topos theory
(Livre papier)
Johnstone, Peter T., 1948-
Academic Press, 1977 -
Singular Coverings of Toposes
(Livre numérique)
Bunge, Marta, وآخرون -
Intuitionistic logic model theory and forcing
(Livre papier)
Fitting, Melvin Chris, 1942-
North-Holland, 1969 -
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
(Livre numérique)
Makkai, Mihály, 1939-, وآخرون

