本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Gode...
2010.8
本书内容包括历史回顾、数字黑洞、数史钩沉、天文浅谈、河洛浅析、“缺8字”与洛书、斐波那契数、生理与心理...
2010.8
本书主要介绍相似数学逻辑，主要内容包括数学概念，数学命题，数学推理，数学证明，逻辑基础等。本书可作为...
2010.8
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻...
2010.7
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、...
2010.2