Д.С. Шамканов. Полнота логики доказуемости Гёделя-Лёба относительно глобальной семантики