Проблемы математической логики : Сложность алгоритмов и классы вычислительных функций : Сборник переводов / Под ред. В. А. Козмидиади. - Москва : Мир, 1970. - 432с. 22см. Библиогр. в конце статей. Subjects--Index Terms: მათემატიკური ლოგიკა კრებულები Universal Decimal Class. No.: 517.11