Спецкурс Формальные теории

Программа курса
PDF

Конспекты некоторых лекций: арифметика (PDF),
теория множеств (PDF)