现代数学基础丛书 数理逻辑基础 上

数理逻辑与控制论 试用本

跨越缺口 故事中的数与逻辑

数理逻辑

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...

高等院校文科试用教材 数理逻辑讲义

离散数学导论 数理逻辑·集合·关系部分

本书内容包括数理逻辑，集合论，二元关系三部分。

波科学的数理逻辑

本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...

逻辑代数讲义 附：集合论讲义上册习题解答

逻辑与演绎科学方法论导论

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

逻辑代数与电子计算机习题解答及教学建议