Applications of sheaves / M. P. Fourman, C. J. Mulvey, and D. S. Scott

Collectivité principale: symposium on applications of sheaf theory to logic, algebra and analysis, Durham (1977) Auteur secondaire : Fourman, Michael Paul (1950-) - Editeur scientifique ; Mulvey, Christopher J. (1946-) - Editeur scientifique ; Scott, Dana S. (1932-) - Editeur scientifiqueType de document: CongrèsCollection: Lecture notes in mathematics ; 753Langue: anglaisPays: AllemagneÉditeur: Berlin : Springer-Verlag, 1979Description: 1 vol. (xiv-779 p.) ; 24 cm ISBN: 9783540095644 ; br. ISSN: 0075-8434Note: proceedings of the research symposium on applications of sheaf theory to logic algebra and analysis Durham, July 9-21, 1977Bibliographie: Bibliogr.. Sujets MSC: 03C90 Mathematical logic and foundations -- Model theory -- Nonclassical models (Boolean-valued, sheaf, etc.)
18B25 Category theory; homological algebra -- Special categories -- Topoi
03G30 Mathematical logic and foundations -- Algebraic logic -- Categorical logic, topoi
18F20 Category theory; homological algebra -- Categories and geometry -- Presheaves and sheaves
14Fxx Algebraic geometry -- (Co)homology theory
En-ligne: Springerlink
Location Call Number Status Date Due
Salle R 07010-01 / 03-06 FOU (Browse Shelf) Available

proceedings of the research symposium on applications of sheaf theory to logic algebra and analysis Durham, July 9-21, 1977

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |