First Order Categorical Logic

Model-Theoretical Methods in the Theory of Topoi and Related Categories

  • Authors
  • Michael Makkai
  • Gonzalo E. Reyes

Part of the Lecture Notes in Mathematics book series (LNM, volume 611)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Michael Makkai, Gonzalo E. Reyes
    Pages 1-10
  3. Michael Makkai, Gonzalo E. Reyes
    Pages 11-67
  4. Michael Makkai, Gonzalo E. Reyes
    Pages 68-95
  5. Michael Makkai, Gonzalo E. Reyes
    Pages 96-131
  6. Michael Makkai, Gonzalo E. Reyes
    Pages 132-142
  7. Michael Makkai, Gonzalo E. Reyes
    Pages 143-164
  8. Michael Makkai, Gonzalo E. Reyes
    Pages 165-192
  9. Michael Makkai, Gonzalo E. Reyes
    Pages 193-236
  10. Michael Makkai, Gonzalo E. Reyes
    Pages 237-271
  11. Michael Makkai, Gonzalo E. Reyes
    Pages 272-297
  12. Michael Makkai, Gonzalo E. Reyes
    Pages E1-E8
  13. Back Matter
    Pages 298-301

About this book

Keywords

Kategorie (Math.) Mathematische Logik Morphism Topos (Math.) category theory mathematical logic theorem

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0066201
  • Copyright Information Springer-Verlag Berlin Heidelberg 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08439-6
  • Online ISBN 978-3-540-37100-7
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book