Электронный каталог МПГУ -Марченков, Сергей Серафимович - Элементарные рекурсивные функции- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Марченков, Сергей Серафимович - Элементарные рекурсивные функции

Марченков, Сергей Серафимович - Элементарные рекурсивные функции

Доступно
3 из 4

Книга
Автор: Марченков, Сергей Серафимович
Элементарные рекурсивные функции
Издательство: МЦНМО, 2003 г.
ISBN 5-94057-098-4

Заказать

На полку

Книга
518 М30

Марченков, Сергей Серафимович.
Элементарные рекурсивные функции / С. С. Марченков. – Москва : МЦНМО, 2003. – 111, 1 с. – Библиогр.: с. 109-111. – На рус. яз. – ISBN 5-94057-098-4 : 39.16.

Издание содержит: ограниченно арифметические предикаты и класс М; функции, элементарные по Сколему, и классы Гжегорчика; машинное описание классов.

ББК 22.127

основной = математика
основной = математика : основания математики
основной = математика : функции (мат.) : элементарные функции
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
основной = математика : математическая логика : теория алгоритмов и вычислимых функций

00000000481340 МАТН 518 М30
00000000002388 МАТЧ 518 М30
00000000002389 МАТН 518 М30
00000000214868 МАТН 518 М30