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