Экзамен состоится 18.01 (ПТ) в 11:00 в аудитории B 404

Уже взяли: алгебраически замкнутые поля,
теорему о дедукции для ИВ,
частичные порядки,
построение логических исчислений,
линейные порядки,
алгебраические поля,
теорема цермело,
синтаксис, построение логических исчислений

(можно и повторяться, но зачем? =))

Лекции в пдф тут -> для просмотра необходимо войти в мыло группы