Математическая теория программирования :  Советско-болгарский сборник научных трудов / 
АН СССР, Сибирское отделение. Вычислительный центр ; Под ред. А.П. Ершова, Д. Скордева. 
 - Новосибирск :  АН СССР. Сиб. отд-ние. ВЦ ,  1985. 
 - 175 с. ;  20 см. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика<br/>Математическое программирование