Introduction to Higher-Order Categorical Logic by J. Lambek, Paperback | Indigo Chapters