Title: Introduction to higher order catagorical logic
Subjects: Categories (Mathematics), Categories (mathematics), Logic, symbolic and mathematical