Books > Science & Math > Mathematics > Applied

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

Product ID: 0444508538 Condition: New

Payflex: Pay in 4 interest-free payments of R1,000.75. Read the FAQ

R 4,003

includes Duties & VAT

Delivery: 10-20 working days

Ships from USA warehouse.

Secure Transaction

VISA Mastercard payflex ozow

Product Description

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

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.