Introduction to Higher Order Categorical Logic by Lambek and Scott might fit the bill.
|
1 | [made Community Wiki] | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
Introduction to Higher Order Categorical Logic by Lambek and Scott might fit the bill. |
||||
