Математическая логика - Ershov, I︠U︡riĭ Leonidovich; Pali︠u︡tin, E. A. (Evgeniĭ Andreevich) ("Наука" Глав. ред. физико-математической лит-ры, 1987)