数理逻辑
-
龚启荣著1997 年出版265 页ISBN：7805839131
-
罗翊重著1998 年出版393 页ISBN：7541610704
-
张尚水著1990 年出版326 页ISBN：7500402031
主要讲述命题逻辑和一阶谓词逻辑。
-
胡世华，陆钟万著1982 年出版434 页ISBN：13031·1948
-
李锡胤编译1984 年出版155 页ISBN：2214·6
-
王捍贫编著1997 年出版271 页ISBN：7301034903
-
何普恒编1984 年出版160 页ISBN：2074·433
-
王宪钧著1998 年出版407 页ISBN：7301000987
-
杜岫石主编；王政挺，谷振诣撰写1987 年出版364 页ISBN：2091·107
-
胡世华，陆钟万1981 年出版228 页ISBN：13031·1320
-
王浩著1981 年出版257 页ISBN：13031·1424
-
王兵山等编著1993 年出版243 页ISBN：7810242768
-
（美）汉密尔顿（Hamilton，A.G.）著；朱水林译1986 年出版251 页ISBN：2153·010
-
马光胜编著1997 年出版177 页ISBN：7810077465
-
朱保平编1998 年出版131 页ISBN：7810137492
-
陈淑敏编1984 年出版185 页ISBN：13217·126
-
王宪钧著1982 年出版372 页ISBN：2209·8
-
陆钟万著1998 年出版258 页ISBN：7030060652
-
陆钟万著1983 年出版186 页ISBN：7030019199
-
胡耀鼎，张清宇著1985 年出版263 页ISBN：15169·3347
