Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
- Абонемент. Депозитарий (1)
- Книгохранилище (2)
- Читальный зал 5 (1)
-
Item types
- 1 неделя (1)
- 6 месяцев (1)
- Выдается в читальный зал (2)
-
Topics
- Аккермана функция (1)
- Геделя теорема (2)
- Клини теорема (1)
- Мучника-Фридберга теорема (1)
- Поста конструкции (1)
- Поста теорема (1)
- Тарского теорема (1)
- Тьюринга машины (1)
- Функции (мат.) вычислимые (1)
- алгоритмы (1)
- алгоритмы вычисляющие (1)
- арифметическая иерархия (2)
- вычислимые множества (1)
- вычислительные модели (1)
- доказательств теория (1)
- задачи по математической логике (1)
- исчисления ассоциативные (1)
- исчисления двусторонние (1)
- кванторы (1)
- степени неразрешимости (2)
- Show more
- Show less