Электронный каталог

Книга
518 М30

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

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

ББК 22.127

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

8748/2004 МПГУ МАТ УФ 518 М30
00000000002388 МПГУ МАТ УФ 518 М30
00000000002389 МПГУ МАТ УФ 518 М30
00000000214868 МПГУ МАТ УФ 518 М30