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