Introduction to Higher Order Categorical Logic
English
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
LOOKING TO PLACE A BULK ORDER?CLICK HERE

About The Book

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.
Piracy-free
Piracy-free
Assured Quality
Assured Quality
Secure Transactions
Secure Transactions
Fast Delivery
Fast Delivery
Sustainably Printed
Sustainably Printed
downArrow

Details