Refine your search
Availability
-
Bibliographic level
- Книги (9)
-
Authors
- Игошин, В. И. [x]
- Игошин, Владимир Иванович (1)
-
Topics
- Линейное программирование. Математическая логика (8)
- Физико-математические науки (8)
- Геделя теорема о полноте (1)
- Левенгейма-Сколема теорема (1)
- аксиоматическая теория высказываний (1)
- аксиоматический метод в математике (1)
- алгебра высказываний (1)
- алгебра логики (1)
- арифметика, формализация (1)
- булевы функции (1)
- задачи (1)
- история математики (1)
- исчисление предикатов (1)
- кванторы (1)
- логика предикатов (1)
- математическая логика (1)
- основания математики (1)
- теория множеств, формализация (1)
- учебные издания для вузов (1)
- числовые системы, формализация (1)
- Show more
- Show less
-
Places
- ЭБС Знаниум (8)