Refine your search
Availability
-
Bibliographic level
- Книги (9)
-
Authors
- Адян, С. И. (1)
- Андон, Филипп Илларионович (1)
- Бар-Хиллел, Иегошуа (1)
- Верещагин, Николай Константинович (1)
- Драгалин, Альберт Григорьевич (1)
- Еримбетов, Мырзахан Мырзахметович (1)
- Есенин-Вольпин, Александр Сергеевич (1)
- Ляпунов, Алексей Андреевич (1)
- Мендельсон, Эллиот (1)
- Минц, Г. Е. (1)
- Михайлова, Наталья Николаевна (1)
- Плиско, Валерий Егорович (1)
- Резниченко, Валерий Анатольевич (1)
- Соболев, Сергей Львович (1)
- Успенский, Владимир Андреевич (1)
- Френкель, Абрахам Адольф (1)
- Хусаинов, Ахмет Аксанович (1)
- Яшунин, Александр Евгеньевич (1)
- Ященко, Иван Валериевич (1)
- Show more
- Show less
-
Locations
- Книгохранилище (9)
- Читальный зал 5 (3)
- Абонемент (1)
- Библиотека РФФ (1)
-
Item types
- Выдается в читальный зал (9)
- 1 неделя (3)
- 1 месяц (2)
- 6 месяцев (2)
-
Topics
- аксиоматическая теория множеств (8)
- математическая логика (7)
- исчисление предикатов (4)
- арифметика формальная (3)
- логика высказываний (3)
- Множеств теория (2)
- исчисление высказываний (2)
- кванторы (2)
- конструктивная математика (2)
- логика предикатов (2)
- модальная логика (2)
- теория алгоритмов (2)
- теория доказательств (2)
- теория множеств (2)
- теория моделей (2)
- учебные пособия для вузов (2)
- DATALOG. (1)
- Datalog-уравнения (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