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