Курс охватывает такие классические темы, как теория множеств, пропозициональная логика, логика первого порядка, теория моделей, теория вычислимых функций, лямбда - исчисление, формальная арифметика.Полный курс (30 лекций) найдёте по ссылке внизу.