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