TY  - BOOK
AU  - Ершов, А. П.
AU  - Скордев, Д.
ED  - АН СССР. Сиб. отд. ВЦ. 
TI  - Математическая теория программирования: Сов. болг. сб. науч. тр. 
PY  - 1985///
CY  - Новосибирск
PB  - ВЦ СО АН СССР
KW  - მათემატიკური ლოგიკა
KW  - პროგრამირება
KW  - კრებულები
N1  - Библиогр. в конце статей
ER  -