По условию "Предметные слова: "proof theory"" нашлось 1 ответ