Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
-
Topics
- аксиоматическая теория множеств (1)
- алгебра логики (1)
- алгоритмическая логика (2)
- алгоритмическая структурная полнота (1)
- алгоритмические теории (1)
- алгоритмические языки (1)
- алгоритмы (1)
- задачи по математической логике (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- математическая логика (1)
- модальная логика (1)
- темпоральная логика (1)
- теорема о полноте (1)
- теория алгоритмов (1)
- теория моделей языка первого порядка (1)
- теория нечетких множеств (1)
- теория рекурсии (1)
- учебные пособия для вузов (1)
- Show more
- Show less