Математическая логика - Ершов Ю.Л., Палютин Е.А (Наука, 1979)