
Автор: Крайзель Г.
Издательство: Мир
Год: 1981
Формат: pdf
Страниц: 286
Размер: 13 Мб
Язык: русский
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов.