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