Categorical Logic and Type Theory

97.20 LEI
108 LEI
-10%
0.0 (0 Reviews)
Quantity:
  • Availability: In Stock
  • ISBN: 9780444508539
Sold By: Prior Books Total Items: 86009

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.

Ratings & Reviews
  • No Review Found

To Review

Related Products