Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Классы элементарных рекурсивных функций
Глава IV. Простой базис по суперпозиции в классе Е2
Поставить закладку
§ 4.1. Основные понятия и формулировка центрального результата
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Глава I. Ограниченно арифметические и рудиментарные предикаты
+
Глава II. Функции, элементарные по Сколему, и классы Гжегорчика
+
Глава III. Машинное описание классов
+
Глава IV. Простой базис по суперпозиции в классе Е2
-
§ 4.1. Основные понятия и формулировка центрального результата
§ 4.2. Конфигурации и коды конфигураций машин Минского
§ 4.3. Вывод свойств функции Q
§ 4.4. Доказательство основной теоремы
Задачи и темы для дальнейших исследований
Глава V. Простые базисы по суперпозиции в классе функций, элементарных по Кальмару
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*