Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

Ершов Ю. Л.
   Проблемы разрешимости и конструктивные модели. (Серия: "Математическая логика и основания математики"). - М. : Наука, 1980. - 415 с.

1 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  2. Читальный зал ауд.313, ГУК, ауд. 313