布尔代数与逻辑设计 【数理化】

数理逻辑基础与应用 【数理化】

集与逻辑代数浅谈 【数理化】

逻辑代数与电子计算机 【数理化】

几何与数理逻辑 【数理化】

本书介绍汤璪真先生所著几何与数理逻辑的内容。

从代数基本定理到超越数 一段经典数学的奇幻之旅 【数理化】

本书分为四个部分，共计十四章，如“从自然数系到有理数系”、“无理数与实数系”、“代数、基本定理的定性说明”、“业余数学家阿尔岗的证明”、“美国数学家安凯屈的证明”、“圆周率及其元理性”、“自然对...

当代数学哲学与逻辑哲学入门 【数理化】

集合，逻辑与设基理论 【数理化】

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

概率统计与逻辑代数双基训练 【数理化】