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

• Введение в математическую логику и роды структур — М.: МФТИ, 2007 СКАЧАТЬ, ~1,6 Мб. Электронная версия обновляется, вносятся исправления замеченных ошибок.
• Учебник доступен в библиотеке МФТИ. Приобрести экземпляр можно на кафедре «Концепт».
• Список замеченных опечаток. Спасибо всем, с чьей помощью их удалось обнаружить!
• Методические указания по курсу «Математическая логика 2» — М.: МФТИ, 2007 method.pdf,
  463 Кб.
• Исходники в формате LaTeX (на Github)

Abstract

В учебном пособии, написанном по материалам семинаров, проводившихся
автором в Московском физико-техническом институте, изложены элементы
классической логики и аксиоматической теории множеств, а также аппарат
родов структур Бурбаки. В книге применяется стандартная (не бурбаковская)
терминология и аксиоматика логики и теории множеств, что позволяет
использовать это пособие совместно с другими учебниками.

Предназначено для студентов младших курсов факультета инноваций и высоких
технологий МФТИ.