Курсы

• Курс "Введение в математическую логику" Мати Рейновича Пентуса, мехмат МГУ (2005/2006)
  http://lpcs.math.msu.su/~pentus/vmlw.htm
• Курс "Математическая логика" Дмитрия Ицыксона, АФТУ (2009, 2010)
  http://logic.pdmi.ras.ru/~dmitrits/aptu/ml2009/, http://logic.pdmi.ras.ru/~dmitrits/aptu/fall2010/

Литература:

• Н.К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов.
  • Часть 1. Начала теории множеств.
  • Часть 2. Языки и исчисления.
  • Часть 3. Вычислимые функции.

  ftp://ftp.mccme.ru/users/shen/logic

• Stefan Bilaniuk. A Problem Course in Mathematical Logic.
  http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf