☰

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

$ 619

Availability: Currently in Stock

Delivery: 10-20 working days

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

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

Topos Theory (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)

Algebra: Chapter 0 (Graduate Studies in Mathematics)

Conceptual Mathematics: A First Introduction to Categories