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