Математическая логика. Курс лекций и практических занятий. С. Д. Шапорев

Учебная литература. Учебное пособие (BHV)