(苏)格里兹玛宁柯(Д.Л.Глизманенко),(苏)叶甫谢夫(Г.Б.Евсеев)著;李佩昆等译1958 年出版520 页ISBN:
(苏)雪维烈扬诺夫(Н.Н.Северьянов),(苏)阿加莉娜(М.С.Агалина)著;顾鸿生,项兆池译1958 年出版279 页ISBN:15035·439
(苏)卡拉乌劳夫(Н.А.Караулов),(苏)罗西耶夫斯基(Г.И.Россиевский)著;韦庆昆译1955 年出版50 页ISBN:
ОРГАНИЗАЦИЯ И ПЛАНИРОВАНИЕ ГИДРО-ТЕХНИЧЕСКОГО СТРОИТЕЛЬСТВА1982 年出版280 页ISBN:
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。