Ершов Ю. Л. Математическая логика : Учебное пособие для математических специальностей вузов / Ю. Л. Ершов, Е. А, Палютин. - М. : Наука. Физматлит, 1979. - 320 с.