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