Лихтарников Л. М. Математическая логика : курс лекций, задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 3-е, испр.. - СПб. : Лань, 2008. - 276 с.: ил. - ( Учебники для вузов )