☰

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

R 8,022

or 4 x payments of R2,005.50 with Payflex

Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

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.
Country USA
Brand Elsevier
Manufacturer Elsevier Science
Binding Paperback
ItemPartNumber black & white illustrations
Model black & white illustrations
ReleaseDate 2001-05-24
UnitCount 1
EANs 9780444508539

You might also like...

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Category Theory in Context (Aurora: Dover Modern Math Originals)

Category Theory in Context (Aurora: Dover Modern Math Originals)

Topos Theory (Dover Books on Mathematics)

Topos Theory (Dover Books on Mathematics)

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)

Algebra: Chapter 0 (Graduate Studies in Mathematics)

Algebra: Chapter 0 (Graduate Studies in Mathematics)

Categories for Types (Cambridge Mathematical Textbooks)

Categories for Types (Cambridge Mathematical Textbooks)

Conceptual Mathematics: A First Introduction to Categories

Conceptual Mathematics: A First Introduction to Categories