Математическая логика Учеб. пособие для мат. спец. .вузов - Ершов Ю.Л., Палютин Е.А (Беларусь, 1987)