Курс "Формальные теории"

Программа курса TeX, DVI, Postcript.

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