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