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

Brand: Elsevier Science Technology

Write a Review
$158.01 - $159.31
UPC:
9780444508539
Binding:
Paperback
Note:
Used books may not include companion materials/CD/Code etc, items in good condition.We ship orders daily and Customer Service is our top priority!
Publication Date:
5/24/2001
Release Date:
10/5/2001
Author:
B. Jacobs
Language:
english
Edition:
Reprint
Adding to cart… The item has been added

Product Overview

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.