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

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

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

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