Refine your search
Availability
-
bib-level
- m (5)
-
Authors
-
Locations
- Абонемент (2)
- Книгохранилище (4)
- Читальный зал 5 (4)
-
Item types
- 1 месяц (2)
- 1 неделя (3)
- 6 месяцев (2)
- Выдается в читальный зал (4)
- Выдается по месту хранения (1)
-
Topics
- Маркова нормальные алгоритмы (2)
- Поста теорема (2)
- Тьюринга машины (4)
- алгебра высказываний (2)
- алгебра множеств (2)
- булевы функции (2)
- задачи по математической логике (5)
- кванторы (2)
- классификация логики предикатов (2)
- классы булевых функций (2)
- логика предикатов (2)
- логико-математическая практика (2)
- математическая логика (3)
- множество истинности предиката (2)
- независимость системы аксиом (2)
- оператор минимизации (2)
- построение выводов из аксиом (2)
- построение выводов из гипотез (2)
- теория алгоритмов (3)
- учебные пособия для вузов (3)
- Show more
- Show less