书籍 数理逻辑基础 一阶逻辑与一阶理论的封面

数理逻辑基础 一阶逻辑与一阶理论PDF电子书下载

陈慕泽 余俊伟著

购买点数

10 点

出版社

北京：中国人民大学出版社

出版时间

2003

ISBN

7300049427

标注页数

244 页

PDF页数

253 页

标签

逻辑 数理逻辑 理论 基础

在线购买PDF电子书
下载此书RAR压缩包
书籍介绍
本书介绍数理逻辑的基础部分。

查看更多关于的内容

图书目录

第一章 命题逻辑 11

第二章 谓词逻辑 58

第三章 命题演算 111

第四章 谓词演算 164

第五章 一阶理论 203

参考文献 244

查看更多关于的内容

上一篇：微积分初探下一篇：珠算常识与珠算教法
相关书籍
出版社其它书籍
本类热门
在线购买PDF电子书
下载此书RAR压缩包