Categorical Logic

Springer

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Independently published

Introduction to Categorical Logic                

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs (2001-05-24)

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek (1988-03-25)

Independently published

Categorical Logic: Logic & Rhetoric              

Cambridge University Press

Handbook of Categorical Algebra                  

Dover

An Introduction to Symbolic Logic                

VDM Verlag

Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming

Forgotten Books

The Existential Import of Categorical Predication: Studies in Logic (Classic Reprint)

Introduction to the Categorical Syllogism (Applying the Mathematics of Ideas and the Logic of Lattices to Understand the Categorical Syllogism of Classical Logic Book 1) (English Edition)