博文

数理逻辑与计算

已有 284 次阅读 2026-3-9 10:25 |个人分类:已发表的译作|系统分类:科研笔记

数理逻辑与计算 Mathematical Logic and Computation

Jeremy AVIGAD 著眭跃飞, 詹博华译

机械工业出版社202？

转载本文请联系原作者获取授权，同时请注明本文来自眭跃飞科学网博客。
链接地址：https://blog.sciencenet.cn/blog-3653970-1525000.html

上一篇：[转载]R-CALCULUS, II: Many-Valued Logics（含链接）
下一篇：[转载]R-CALCULUS, VI: Finite Injury Method（含链接）

收藏 IP: 120.244.141.*| 热度|