↓ Skip to main content
What is this page? Embed badge

First Order Categorical Logic

Overview of attention for book
Cover of 'First Order Categorical Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Grothendieck topoi
  4. Altmetric Badge
    Chapter 3 Interpretation of the logic in categories
  5. Altmetric Badge
    Chapter 4 Axioms and rules of inference valid in categories
  6. Altmetric Badge
    Chapter 5 Boolean and heyting valued models
  7. Altmetric Badge
    Chapter 6 Completeness
  8. Altmetric Badge
    Chapter 7 Existence theorems on geometric morphisms of topoi
  9. Altmetric Badge
    Chapter 8 Conceptual completeness
  10. Altmetric Badge
    Chapter 9 Theories as categories
  11. Altmetric Badge
    Chapter 10 Classifying topoi
  12. Altmetric Badge
    Chapter 11 Erratum
Attention for Chapter 4: Axioms and rules of inference valid in categories
Altmetric Badge

Citations

dimensions_citation
242 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 242 publications that cite this research output.

242

The most recent citing publications are shown below. View all 242 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.