Теория доказательств (Арифметика и анализ)

Излагаются доказательство непротиворечивости анализа по Спектру–Говарду и доказательство теоремы о нормализуемости для логики второго порядка и дается краткий обзор работ по теории доказательств для арифметики и анализа, опубликованных после 1970 года.
Библ. 112.