(美)苏珊·麦克克鲁斯基(S.McCloskey),(美)威尔玛·戴维森(W.Davidson).著;北京采薇文化咨询有限公司制作1999 年出版128 页ISBN:7806455728
(苏)里别尔曼(С.Г.Либерман),(苏)彼得罗夫斯基(В.П.Петровский)著;高祁孙等译1958 年出版374 页ISBN:15042·333
(英)科瓦尔斯基(Kowalski,R.)著;郑守淇译1986 年出版198 页ISBN:15340·103
书名原文:Logicforproblemsolving:著者原题:R.科瓦尔斯基:本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用
(苏)卡尔塔谢夫(Карташев,А.П.),(苏)罗吉斯特维斯基(Рождественский,Б.Л.)著;曹之江,倪星棠译1991 年出版495 页ISBN:7810152254