Л.Д. Беклемишев. Алгебры доказуемости и фрагменты арифметики