Refine your search
Availability
- Showing only available items
- Show all items
-
Bibliographic level
- Книги (4)
-
Authors
-
Locations
- Абонемент. Депозитарий [x]
- Книгохранилище (4)
- Читальный зал 5 (2)
- Абонемент (1)
-
Item types
- Выдается в читальный зал [x]
- 6 месяцев (4)
- 1 неделя (2)
- 1 месяц (2)
- Выдается по месту хранения (1)
-
Topics
- исчисление высказываний (2)
- математическая логика (2)
- множеств теория [x]
- Алгебра (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)
- подобия (множеств теория) (1)
- поля (алгебра) (1)
- разрешимые теории (1)
- сравнения (чисел теория) (1)
- теоремы о полноте (1)
- теории первого порядка (1)
- теории первого порядка обобщенные (1)
- теория алгоритмов (1)
- теория доказательств (1)
- теория множеств (1)
- теория моделей (1)
- топологические формы (множеств теория) (1)
- учебные пособия для вузов (1)
- числа алгебраические (1)
- числа комплексные (1)
- числа целые (1)
- Show more
- Show less
-
Collections