Подробное описание документа
Ершов Ю. Л.
Проблемы разрешимости и конструктивные модели. (Серия: "Математическая логика и основания математики"). - М. : Наука, 1980. -
2 экз.
Вы можете получить данный документ в одном из следующих отделов
- Абонемент научной литературы ГУК, ГУК, ауд. 313
- Читальный зал ауд. 313, ГУК, ауд. 313