Проблемы разрешимости и конструктивные модели - Ершов Ю.Л (Наука, 1980)