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

9.6.4.10.1.3. Операция минимизации ©

Начало см. здесь и здесь.


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