类型：
成立时间：
出版社特色：
沃新书屋 -
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) -
出版社：Elsevier Science & Technology
Elsevier Science & Technology
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)书籍相关信息
- ISBN：9780444508539
- 作者：B. Jacobs
- 出版社：Elsevier Science & Technology
- 出版时间：2001-05-10
- 页数：780
- 价格：GBP 71.99
- 纸张：暂无纸张
- 装帧：Hardcover
- 开本：暂无开本
- 语言：暂无语言
- 适合人群：Academic Researchers, Mathematicians, Logicians, Computer Scientists, Philosophers of Science, Students and Professionals interested in the foundations of mathematics and computer science
- TAG：Computer Science / Logic / Mathematical Foundations / Philosophy of Mathematics / Category Theory / Type theory
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-20 20:57:40
内容简介：
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.