(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
(俄)扎果涅克·乌拉基米尔·乌亚切斯拉沃维奇(Загонек,Владимир,Вячеславович)绘;王铁牛主编;陈尊三译2002 年出版71 页ISBN:7531429322
(苏)帖烈霍夫(А.П.Терехов),(苏)波利亚克维奇(В.Г.Полякевич)著;唐克伟译1958 年出版80 页ISBN:15033895
(苏)别尔巴索夫(М.Бербасов),(苏)高尔诺斯达也夫(В.Горностаев)著;高梁译1957 年出版73 页ISBN:3007·176
(苏)郭鲁勃佐夫(В.А.Годубцов),(苏)叶利扎洛夫(П.П.Елизаров)著;韩士信,陈珩译1956 年出版294 页ISBN:15036·385
(苏)勃拉金斯基(Г.И.Брагинский),季莫费耶夫(Е.Н.Тимофеев)著;杨惠昌译1981 年出版387 页ISBN:15·63·3233