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