Е 80 Ершов, Юрий Леонидович. Проблемы разрешимости и конструктивные модели [Текст] / Ю. Л. Ершов. - Москва : Наука Главная редакция Физико-математической литературы, 1980. - 416 с. : ил. ; 20 см. - (Математическая логика и основания математики). - Библиография: с. 397-409. - Предметный указатель: с. 412-415. - 5450 экз.. - (в пер.) : 3.10 р. Рубрики: Высшая алгебра--Разрешимость и неразрешимость элементарных теорий--Конструктивные модели ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |