Categorical Logic and Type Theory
-81%
Availability: In Stock

Categorical Logic and Type Theory

SKU: 9780444501707

Original price was: $129.00.Current price is: $24.99.

Access Categorical Logic and Type Theory Now. Discount up to 90%

Categories: ,

Additional information

Full Title

Categorical Logic and Type Theory
Author(s)

Jacobs, B.
Edition
ISBN

9780444501707, 9780080929781
Publisher

Elsevier Science
Format

PDF and EPUB

Description

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.

Related products