Здравствуйте, мне необходимо выполнить задание по методичке Мендельсона с.151. Пример № 5. Помогите, пожалуйста
Задание по КР № 3.
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:
«х есть геделев номер частного случая схемы логических аксиом (5)»
Цена может измениться от условий.