Normal view
MARC view
Классы элементарных рекурсивных функций С. С. Марченков
Material type: TextPublication details: Москва Физматлит 2017Description: 135, [1] сISBN: 9785922117142Subject(s): предикаты ограниченно арифметические | предикаты рудиментарные | моделирование вычислений рудиментарное | Тьюринга машины | Гжегорчика классы | функции, элементарные по Сколему | функции, элементарные по Кальмару | стековые регистровые машины | Минского машины | предикатов представления экзистенциальные однократные | операция суперпозиции | функции элементарные, классы | базисы конечные по суперпозиции | функции одноместные | функции многоместные | алгоритмов теорияItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается по месту хранения | Научная библиотека ТГУ Читальный зал 5 | 510 М30 (Browse shelf(Opens below)) | Available | 13820000954780 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Читальный зал 5 Close shelf browser (Hides shelf browser)
Библиогр.: с. 133-135
Предм. указ.: с. 136
There are no comments on this title.
Log in to your account to post a comment.