1012437
9780521356534
Introduction to Higher-Order Categorical Logic
by Lambek, J., Scott, P. J., Bollobas, B.
31245
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780521356534
- ISBN: 0521356539
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.Lambek, J. is the author of 'Introduction to Higher-Order Categorical Logic ' with ISBN 9780521356534 and ISBN 0521356539.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
