Categorical Logic

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

Springer

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

Independently published

Introduction to Categorical Logic                

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                  

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)

Bonfring Technology Solutions

Fuzzy Logic Based Categorical Text Clustering in Data Mining

CreateSpace Independent Publishing Platform

Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities