Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics | DealShopping France