Shopping cart

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics #141) (Paperback)

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics #141) By B. Jacobs Cover Image
$150.00
Available at Warehouse

Description


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.


Product Details
ISBN: 9780444508539
ISBN-10: 0444508538
Publisher: Elsevier Science
Publication Date: May 10th, 2001
Pages: 778
Language: English
Series: Studies in Logic and the Foundations of Mathematics
3019 Oakland Dr.
Kalamazoo, MI 49008

Open Monday - Saturday
9am-9pm

Sunday
9am-6pm
Phone (269) 385-2847
Email bookbugkalamazoo@gmail.com