Refine your search
Availability
-
Bibliographic level
- Книги (14)
-
Authors
- Адян, С. И. (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
-
Locations
- Читальный зал 5 (13)
- Книгохранилище (13)
- Абонемент. Депозитарий (4)
- Читальный зал 4 (1)
- Абонемент (1)
-
Item types
- 1 неделя [x]
- Выдается в читальный зал (13)
- 6 месяцев (5)
- 1 месяц (3)
- Выдается по месту хранения (1)
-
Topics
- теория множеств [x]
- математическая логика (11)
- учебные пособия для вузов (6)
- основания математики (4)
- принятие решений (4)
- теория вероятностей (4)
- аксиоматические теории (3)
- исчисление высказываний (3)
- исчисление предикатов (3)
- логика высказываний (3)
- логика предикатов (3)
- математическая статистика (3)
- математическое моделирование (3)
- 20 век (2)
- Геделя теорема (2)
- Гильберта программа обоснования математики (2)
- Математика высшая (2)
- булевы функции (2)
- дифференциальные уравнения (2)
- история математики (2)
- комбинаторика (2)
- линейная алгебра (2)
- логика (2)
- математика (2)
- теории первого порядка (2)
- теория доказательств (2)
- теория игр (2)
- теория моделей (2)
- 19 век (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