Кузнецов С. Л. - Математическая логика - Кодирование примитивно-рекурсивных функций
4 года назад • 13 просмотров2 поставили "Нравится"
0:00:30 1. Теорема: в арифметике Пеано Σ1 - полна 0:29:25 2. Кодирование примитивно-рекурсивных функций в арифметике Пеано: док-во существования и единственности