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