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