- Добавил: fisher1978
- Дата: 16-02-2022, 08:04
- Комментариев: 0

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