Categorical Logic and Type Theory
By Bart Jacobs
Publisher: Elsevier Science Pub Co
Number Of Pages: 778
Publication Date: 1998-12-01
ISBN-10 / ASIN: 0444501703
ISBN-13 / EAN: 9780444501707
Binding: Hardcover

Hardbound. 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.

Summary: Excellent book.
Rating: 5

Excellent book. The best in its field. I would recommend it, particularly for students.

http://mihd.net/6rnzm9
http://rapidshare.com/files/70832928/Jaco0444501703.rar

金币+1      魅力+5      积分+50

版主评语：

非常之详细的内容说明！

[此贴子已经被pine888于2007-11-22 0:06:14编辑过]