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