现代逻辑的方法 【数理化】

集合论与数理逻辑初步 【数理化】

超越自由 神奇的超导体 【数理化】

自1911年超导电性被发现以来，迄今在这一研究领域已有五组工作者获得诺贝尔物理学奖。发现超导并开拓了低温物理科研领域的卡末林·昂内斯是获奖第一人，其他人是：超导微观理论的创始人（巴丁、库柏、徐瑞弗），超导电...

逻辑代数与BASIC语言双基训练 【数理化】

数理逻辑与范畴论应用 【数理化】

国家自然科学基金教育部博士点基金资助项目。

否定中的肯定 逻辑的故事 【数理化】

暂缺《偶然中的必然：概率的故事》简介

逻辑的语法 数学漫谈 【数理化】

神奇的数字 从埃及数字到几何学体系的建立 【数理化】

数理逻辑与集论 新数入门概念 【数理化】

逻辑与演绎科学方法论导论 【数理化】

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