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