Л.Д. Беклемишев. Лекция 3. Доказуемо вычислимые функции теории EA