Elsevier
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Free shipping with 3 or more products in your cart
Sold Out
Free shipping with 3 or more products in your cart
Secure checkout
Your payment is fully protected
Duties & VAT included
No surprise charges at the door
Tracked delivery
Track your order end to end
Returns support
30-day return window
Description
- Used Book in Good Condition
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Technical Specifications
Manufacturer
Elsevier Science
Model
black & white illustrations
Height
23.4 cm
Length
15.6 cm
Width
3.9 cm
Weight
1.2 kg
Release date
24 May 2001
Shipping & Delivery
Your order is shipped from the USA and delivered to your door in South Africa in 10–20 working days. All items are fully tracked.
Returns & Exchanges
We offer a 30-day return window. If something isn't right, contact our support team and we'll make it right.