Ebook: Введение в математическую логику и роды структур

М.: МФТИ, 2007. — 244 с. — ISBN 5-7417-0174-4В учебном пособии, написанном по материалам семинаров, проводившихся автором в Московском физико-техническом институте, изложены элементы классической логики и аксиоматической теории множеств, а также аппарат родов структур Бурбаки. В книге применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебниками. Предназначено для студентов младших курсов факультета инноваций и высоких технологий МФТИ.ВНИМАНИЕ ! Эта электронная версия книги содержит исправления ошибок и опечаток, замеченных
на ФЕВРАЛЬ 2015 года и ряд небольших улучшений по сравнению с бумажной версией.Оглавление:
Предисловие.
Элементы математической логики.
Элементы теории множеств.
Роды структур.
Список литературы.