First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes

Auteur principal : Makkai, Mihály, 1939-, AuteurCo-auteur : Reyes, Gonzalo E., 1937-, AuteurType de document : Livre numériqueCollection : Lecture notes in mathematics, 611Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1977ISBN: 9783540084396.ISSN: 1617-9692.Sujet MSC : 18A15, General theory of categories and functors, Foundations, relations to logic and deductive systems
03F55, Proof theory and constructive mathematics, Intuitionistic mathematics
03Cxx, Mathematical logic and foundations - Model theory
03G25, Algebraic logic, Other algebras related to logic
14F20, (Co)homology theory in algebraic geometry, Étale and other Grothendieck topologies and (co)homologiesEn-ligne : Springerlink | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.