The Work Introduction to Higher Order Categorical Logic The details The Author Joachim Lambek The offers View paperback on Amazon
