TY  - BOOK
AU  - Игошин,Владимир Иванович
TI  - Математическая логика: учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)]
T2  - Высшее образование. Бакалавриат
SN  - 9785160116914
PY  - 2016///
CY  - Москва
PB  - ИНФРА-М
KW  - учебные издания для вузов
KW  - задачи
KW  - математическая логика
KW  - алгебра высказываний
KW  - булевы функции
KW  - алгебра логики
KW  - аксиоматическая теория высказываний
KW  - логика предикатов
KW  - кванторы
KW  - аксиоматический метод в математике
KW  - история математики
KW  - основания математики
KW  - исчисление предикатов
KW  - Геделя теорема о полноте
KW  - Левенгейма-Сколема теорема
KW  - теория множеств, формализация
KW  - арифметика, формализация
KW  - числовые системы, формализация
N1  - Библиогр.: с. 389-392
UR  - http://znanium.com/catalog.php?bookinfo=539674
ER  -