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

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

Общее кол-во в фондах
1 экз.

Вы можете получить данный документ в одном из следующих отделов