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