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