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

Auteur principal collectivité : symposium on applications of sheaf theory to logic, algebra and analysis, 1977, AuteurAuteur 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 : anglais.Pays: Allemagne.Éditeur : Berlin : Springer-Verlag, 1979Description : 1 vol. (xiv-779 p.) ; 24 cmISBN: 9783540095644.ISSN: 0075-8434.Bibliographie : Bibliogr..Sujet MSC : 03C90, Mathematical logic and foundations - Model theory, Nonclassical models
18B25, Category theory; homological algebra - Special categories, Topoi
03G30, Algebraic logic, Categorical logic, topoi
18F20, Categories in geometry and topology, Presheaves and sheaves, stacks, descent conditions
14Fxx, Algebraic geometry - (Co)homology theory in algebraic geometry
En-ligne : Springerlink Item type: Congrès
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R
03-06 FOU (Browse shelf(Opens below)) Available 07010-01

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 on this title.

to post a comment.