Математическая логика. Курс лекций и практических занятий: учебное пособие - Шапорев С. Д. (СПб., БХВ-Петербург, 2005)