TY  - BOOK
AU  - Марков,А.А.
AU  - Хомич,В.И.
ED  - Вычислительный центр АН СССР
TI  - Исследования по теории алгорифмов и математической логике
PY  - 1979///
CY  - Москва
PB  - АН СССР. ВЦ
KW  - Математическая логика
ER  -