Ч.4 : ТеорияДоказательств и конструктивная математика / под ред.В.П.Оревкова ; пер.с англ.Г.В.Давыдоваи Г.Е.Манца

Уровень набора:  Справочная книга по математической логике [Текст]  : в 4--х ч. —  Ч.4Язык документа: Русский.Страна публикации: RU.Издательство: М. : Наука, 1983Физическая характеристика: 391с.ББК: 22.1
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
Дзержинская РЦБС. Книгохранение
Выдается

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: