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