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