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