(英)A·G·哈密尔顿著;骆如枫等译1989 年出版294 页ISBN:7100001463
本书是数理逻辑的基础读物,对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
杨祖陶著(武汉大学哲学学院)2003 年出版421 页ISBN:7307039281
本书为研究德国古典哲学理论发展之内在规律的专著。
吴训威著1994 年出版410 页ISBN:7810357107
并列题名:Designprinciplesofmultivaluedlogiccircuits:分:多值逻辑引论、三值函数的最小化、多值电路的开关级设计等10章。