Ч.4 : ТеорияДоказательств и конструктивная математика / под ред.В.П.Оревкова ; пер.с англ.Г.В.Давыдоваи Г.Е.Манца
Уровень набора: Справочная книга по математической логике [Текст]
: в 4--х ч. — Ч.4Язык документа: Русский.Страна публикации: RU.Издательство: М. : Наука, 1983Физическая характеристика: 391с.ББК: 22.1
Зарегистрируйтесь, чтобы добавлять метки.
Нет никаких комментариев для этого документа.