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

9.6.4.7.9. Очерки по конструктивной математике (П. Мартин-Лёф, 1975)

Начало см. здесь.
Мартин-Лёф П.
Очерки по конструктивной математике.
Пер. с англ. Г. Е. Минца под ред. А. Г. Драгалина.
М.: Мир, 1975.
9.6.4.7.9.1. Рекурсивные функции
9.6.4.7.9.1. Рекурсивные функции
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Непрерывность и иррациональные числа \