逻辑学
数理逻辑 豆瓣
作者:
汪芳庭
中国科学技术大学出版社
2010
- 9
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。
《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。
逻辑学导论（第13版） 豆瓣
Introduction to Logic
9.2 (5 个评分)
作者:
欧文·M·柯匹 (Irving M.Copi)
/
卡尔·科恩 (Carl Cohen)
译者:
张建军
/
潘天群
…
中国人民大学出版社
2014
- 10
《国外经典哲学教材译丛:逻辑学导论(第13版)》是导论性逻辑教科书中最完满的一部：既有演绎逻辑亦有归纳逻辑，既有古典逻辑亦有现代逻辑。《国外经典哲学教材译丛:逻辑学导论(第13版)》是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。
书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。
书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。