Кафедра математической логики и теории алгоритмов

Введение в математическую логику (2000)

 

Курс «Введение в математическую логику» (для первого курса отделения механики мехмата МГУ)

 

  • Программа: text, PDF
  • Конспекты лекций (40 страниц) PDF