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: USED (All books in used condition)

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

R 7,839

includes Duties & VAT

Delivery: 10-20 working days

Ships from USA warehouse.

Secure Transaction

VISA Mastercard payflex ozow

Product Description

Condition - Very Good

The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.

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.