Лекция 1. Д.С. Шамканов. Циклические выводы в логике Гёделя-Лёба