Normal view
MARC view
Математическая логика Электронный ресурс учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)] Игошин В. И.
Material type:
TextSeries: Высшее образование | Электронно-библиотечная система "Znanium.com"Publication details: Москва ИНФРА-М 2016Description: 1 онлайн-ресурс (398 с.)ISBN: 9785160116914; 9785161040676Subject(s): учебные издания для вузов | задачи | математическая логика | алгебра высказываний | булевы функции | алгебра логики | аксиоматическая теория высказываний | логика предикатов | кванторы | аксиоматический метод в математике | история математики | основания математики | исчисление предикатов | Геделя теорема о полноте | Левенгейма-Сколема теорема | теория множеств, формализация | арифметика, формализация | числовые системы, формализацияOnline resources: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ
No physical items for this record
Библиогр.: с. 389-392
There are no comments on this title.