Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Читальный зал 5 (2)
- Абонемент (1)
-
Item types
- Выдается по месту хранения (2)
- 6 месяцев (1)
-
Topics
- алгоритмов теория (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)
- Show more
- Show less