#18 in Combinatorics books
Use arrows to jump to the previous/next product
Reddit mentions of Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Sentiment score: 1
Reddit mentions: 1
We found 1 Reddit mentions of Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics). Here are the top ones.
or
- Used Book in Good Condition
Features:
Specs:
| Color | Grey |
| Height | 9 Inches |
| Length | 6 Inches |
| Number of items | 1 |
| Weight | 0.992080179 Pounds |
| Width | 0.68 Inches |
I don't know if category theory is your thing but maybe you'd be interested in categorical logic?
http://www.amazon.com/Introduction-Higher-Order-Categorical-Cambridge-Mathematics/dp/0521356539
that book goes a lot into various ways to study logics inside categories and indeed categories as certain kinds of deduction systems. It also has a nice introduction to toposes which are kinds of categories which have a kind of inner logic (usually multivalued and always intuitionistic). It links nicely to some newer branches of math too.
If you're unfamiliar with categories they are abstractions of collections of mathematical structures and the functions between them(eg. sets and functions, or vector spaces and linear functions).