-
金·曼达夫编著1981 年出版362 页ISBN：16089·84
-
金勇进等编著2002 年出版355 页ISBN：7300040799
-
金为民，王丽君编译1988 年出版278 页ISBN：7120002643
-
金瑞奇编著2002 年出版250 页ISBN：7533916603
-
金国华主编1986 年出版342 页ISBN：3173·331
-
林治金主编2001 年出版554 页ISBN：7543618915
-
（苏）符亚特金（М.П.Вяткин）等著；尤石湖译1957 年出版44 页ISBN：12013·21
-
（苏）叶尔绍夫，（苏）巴鲁金著；沈百英，叶瑞芬译1990 年出版274 页ISBN：7562800804
暂缺《数理逻辑》简介
-
卜仕金主编2002 年出版205 页ISBN：7534535654
-
金紫光，黄励改编1964 年出版61 页ISBN：10071·704
