Surprise Castle
Categorical Logic and Type Theory: Volume 141

Categorical Logic and Type Theory: Volume 141 - Paperback

$131.99
Quantity
01

Pay over time for orders over $35.00 with

Availability:In StockContributor:B. JacobsSeries:Studies in Logic and the Foundations of Mathematics #141Publish date:2001-05-10Pages:778
Language:EnglishPublisher:Elsevier ScienceISBN-13:9780444508539ISBN-10:444508538UPC:9780444508539Book Category:Mathematics, ScienceBook Subcategory:Applied, AlgebraSize:9.21 x 6.14 x 1.55 inchesWeight:2.3612Product ID:SC9WB8T7F3
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.
Language:EnglishPublisher:Elsevier ScienceISBN-13:9780444508539ISBN-10:444508538UPC:9780444508539Book Category:Mathematics, ScienceBook Subcategory:Applied, AlgebraSize:9.21 x 6.14 x 1.55 inchesWeight:2.3612Product ID:SC9WB8T7F3
Publisher: Elsevier Science

Contributor(s)

B. Jacobs

Author

B. Jacobs

Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.

Recently Viewed

View All