欢迎来到相识电子书！
内容简介
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
下载说明
1、数理逻辑是作者邢滔滔创作的原创作品，下载链接均为网友上传的网盘链接！
2、相识电子书提供优质免费的txt、pdf等下载链接，所有电子书均为完整版！
下载链接
热门推荐
- 1 独腿旅行者
- 2 人间正道
- 3 野兽必死
- 4 森林中有许多酒
- 5 鲁迅传
- 6 动物园长夫人
- 7 不再努力成为另一个人
- 8 热爱生活的一万个理由
- 9 专家的窘境
- 10 艺术的旅程