借阅：0人
收藏：0人
数理逻辑引论
- 查看机读格式
Introduction to mathematical logic /朱梧槚 ... [等] 编著
ISBN/ISSN：978-7-5685-4035-3
价格：CNY69.00
出版：大连 :大连理工大学出版社 ,2023.01
载体形态：263页 ;24cm
简介：本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容, 并且包含了与计算机科学有关的主题, 如有限模型。本书特点是: 内容可读性强 ; 组织结构更灵活, 授课教师可根据教学需要节选本书的内容 ; 反映了近几年来理论计算机科学对逻辑学产生的影响 ; 包含较多的示例和说明。
并列题名：Introduction to mathematical logic
中图分类号：O141
责任者：朱梧槚 编著 肖奚安 编著 朱朝晖 编著 周勇 编著
-
评分：
-
加入暂存架
豆瓣内容简介：
豆瓣作者简介：
| 馆藏部门 | 图书条码 | 索书号 | 登录号 | 架位导航 | 密集架号 | 卷期 | 状态 |
| 西区五层书库 | 01386771 | O141/10 | 01386771 | 架位导航 | 在架可借 | ||
| 西区五层书库 | 01386773 | O141/10 | 01386773 | 架位导航 | 在架可借 | ||
| 西区五层书库 | 01386772 | O141/10 | 01386772 | 架位导航 | 在架可借 |
| 序号 | 图书条码 | 索书号 | 登录号 | 藏书部门 | 流通状态 | 年卷期 | 装订册 | 装订方式 | 装订颜色 |
| 类型 | 说明 | URL |
| 评 论 |
评分：
发表
