Д.С. Шамканов. Циклические выводы для логики доказуемости Гёделя–Лёба