Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) azw3 网盘高速下载地址大全免费

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)精美图片

azw3电子书下载地址

其他格式下载地址

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.

书籍目录：

暂无相关目录，正在全力查找中！

作者简介：

暂无相关内容，正在全力查找中

其它内容：

暂无其它内容！

下载点评

感动(280+)
科研(561+)
宝藏(586+)
深度(918+)
免密(537+)
加密(265+)
可听读(338+)
翻译生硬(838+)
学者(569+)
无乱码(650+)
精校(118+)
优质(247+)
惊喜(408+)
精排(351+)
无广告(719+)
收藏(214+)
图文(157+)
必下(803+)
注释(191+)
直链(609+)

下载评论

用户1723464887： ( 2024-08-12 20:14:47 )
精校版本报告资源，MOBI/AZW3格式适配各种阅读设备，资源优质。
用户1743393059： ( 2025-03-31 11:50:59 )
互动版电子书下载秒传，支持EPUB/TXT格式导出，值得收藏。
用户1724253689： ( 2024-08-21 23:21:29 )
高清版本小说资源，EPUB/MOBI格式适配各种阅读设备，推荐下载。
用户1720279060： ( 2024-07-06 23:17:40 )
音频版电子书下载极速，支持AZW3/TXT格式导出，体验良好。
用户1714208623： ( 2024-04-27 17:03:43 )
无损版本学术资源，PDF/EPUB格式适配各种阅读设备，体验良好。

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) azw3 网盘 高速 下载地址大全 免费