Исследования по теории алгоритмов и математической логике/
Исследования по теории алгоритмов и математической логике/
Ред. А.А. Марков; Академия наук СССР, Вычислительный центр
- Москва: Наука, 1979.
- 134с. табл.
Библиогр. в конце главы
Математика--Математическая логика
51.01:16
Библиогр. в конце главы
Математика--Математическая логика
51.01:16