Вернуться к Подробностям о статье Модальная версия II теоремы Гёделя о неполноте и система Маккинси. Скачать Скачать PDF