Ф.Н. Пахомов. Лекция 21. Нормальные формы Π11-формул. Теорема Клини о равенстве классов Δ11 и HYP