Исследования по теории алгорифмов и математической логике Т. 2 /
Исследования по теории алгорифмов и математической логике Т. 2 /
АН СССР. Вычислительный центр ; Отв. ред. А.А. Маркова и Б.А. Кушнера.
- Москва : АН СССР. ВЦ , 1976.
- 154 с.
00.59
Математическая логика
00.59
Математическая логика