Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.
Ершов, Юрий Леонидович. Математическая логика : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин, 2011. - 356 с. (Введено оглавление). - Текст : непосредственный.