When I did my doctorate in computational logic, I got MacLane’s book. It’s not a great first book, but it has some excellent examples, and it’s very much a fore-runner of his collaboration with Moerdijk, “Sheaves in Geometry and Logic”. I learnt more from Lambek and Scott’s book, “Introduction to Higher-Order Categorical Logic”.
When I did my doctorate in computational logic, I got MacLane’s book. It’s not a great first book, but it has some excellent examples, and it’s very much a fore-runner of his collaboration with Moerdijk, “Sheaves in Geometry and Logic”. I learnt more from Lambek and Scott’s book, “Introduction to Higher-Order Categorical Logic”.