Categorical Logic and Type Theory

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

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编辑过]

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Categorical Theory Logic type Theo Theory Logic Categorical type

赠送免费书籍！

下了,先谢谢!