Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
- Босс, Валерий (3)
-
Locations
- Читальный зал 5 (2)
- Книгохранилище (1)
- Читальный зал. Депозитарий (1)
-
Item types
-
Topics
- диофантовы множества (3)
- доказуемость (3)
- математическая логика (3)
- Геделя теорема вторая, доказательство (2)
- Геделя теоремы (2)
- Гильберта десятая проблема (2)
- Тьюринга машины (2)
- аксиоматические теории (2)
- алгоритмы, теория (2)
- вычислимость (2)
- математика конструктивная (2)
- множества универсальные (2)
- неполнота арифметики (2)
- степени неразрешимости (2)
- теория моделей (2)
- точка неподвижная, теорема (2)
- учебные издания для вузов (2)
- функции универсальные (мат.) (2)
- Банаха-Тарского парадокс (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