Categorical Logic

Independently published

Introduction to Categorical Logic                

Cambridge University Press

Handbook of Categorical Algebra                  

Cambridge University Press

EOM: 52 Handbk Categorcl Algebra v3              

Independently published

Categorical Logic: Logic & Rhetoric              

Springer

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

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)

Springer International Publishing AG

Programs As Diagrams: From Categorical Computability to Computable Categories

Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming by Ayalur Krishnan (2011-08-24)

Forgotten Books

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