Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
-
Locations
- Книгохранилище (3)
- Читальный зал 5 (1)
-
Item types
- Выдается в читальный зал (3)
- 1 неделя (1)
-
Topics
- Сколема парадокс (3)
- математическая логика (2)
- основания математики (2)
- logic (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)
- истина (1)
- исчисление высказываний (1)
- исчисление идеальное (1)
- исчисление предикатов (1)
- кванторы (1)
- логика (1)
- логики нестандартные (1)
- логистические системы (1)
- логицизм (1)
- логицизм (мат.) (1)
- логицистический тезис (1)
- логическое исчисление (1)
- математика (1)
- математика, методологические проблемы (1)
- многозначная логика (1)
- множеств теория (1)
- модальная логика (1)
- непредикативное образование понятий (1)
- непротиворечивость (математическая логика) (1)
- Show more
- Show less