Buying options
This is a preview of subscription content, access via your institution.
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
Keywords
- Kategorie (Math.)
- Mathematische Logik
- Morphism
- Topos (Math.)
- category theory
- mathematical logic
- theorem
Bibliographic Information
Book Title: First Order Categorical Logic
Book Subtitle: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Authors: Michael Makkai, Gonzalo E. Reyes
Series Title: Lecture Notes in Mathematics
DOI: https://doi.org/10.1007/BFb0066201
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1977
Softcover ISBN: 978-3-540-08439-6Published: 01 September 1977
eBook ISBN: 978-3-540-37100-7Published: 15 November 2006
Series ISSN: 0075-8434
Series E-ISSN: 1617-9692
Edition Number: 1
Number of Pages: II, 318