Эта методичка - отредактированная версия методички Пальчунова, поэтому лучше использовать её(по состоянию на 2020й год). Так же в неё постоянно вносятся исправления опечаток:
Разбор Клиниевских скобок от безымянного героя:
Семинары Погодина Р.С. по математической логике
(они клёвые и очень подробные, не переключайтесь)
Так же для работяг, что желают сами поисправлять студенческую методичку по матлогу, прошу сюда:
https://github.com/comiam/Matlog-book