Л.Д. Беклемишев, Ф.Н. Пахомов. Лекция 4. Исчисление секвенций в формате Тейта и теорема…