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