书籍简介:

本书以公理化思想作为主导，阐述传统逻辑与现代逻辑的基本理论，从亚里士多德的三段论直到哥德尔的不完全性定理。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树和自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要结果。本书在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的结果时，更强调思想性，力求做到通俗易懂，深入浅出。本书适合具有高中数学知识的普通读者学习逻辑学，特别地，可作为大中专学校素质教育层面的逻辑学入门教材。

书籍规格:

书籍详细信息
书名	逻辑站内查询相似图书
	9787030477026 如需购买下载《逻辑》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	58.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	176	印数

全网搜索试读资源

书籍信息归属:

逻辑是科学出版社于2016.3出版的中图分类号为 B815 的主题关于哲理逻辑的书籍。