数理逻辑
-
龚启荣著 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
-
-
胡世华 陆钟万 1981 年出版228 页ISBN：13031·1320
-
王浩著 1981 年出版257 页ISBN：13031·1424
-
王兵山等编著 1993 年出版243 页ISBN：7810242768
-
-
马光胜编著 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
