Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Теория частично-рекурсивных функций \
Теория частично-рекурсивных функций по Шоломову Л. А. \

9.6.4.10.1.4. Исходные функции
и определение
частично-рекурсивных функций ©

Начало см. здесь и здесь.
Определение операции суперпозиции см. здесь.


Продолжение см. здесь.