TY  - BOOK
AU  - Козмидиади, В. А.
TI  - Проблемы математической логики: Сложность алгоритмов и классы вычислительных функций : Сборник переводов 
PY  - 1970///
CY  - Москва
PB  - Мир
KW  - მათემატიკური ლოგიკა
KW  - კრებულები
N1  - Библиогр. в конце статей
ER  -