Основные лекции по этой методичке:
Более продвинутая Мат.Логика. Для тех, кто шарит:
Более простой материал по Мат.Логике для тех, кто ничего не понимает:
Семинарские задачи:
Семинары Погодина Р.С. по математической логике
(они клёвые и очень подробные, не переключайтесь)