Алгебра и логика: сборник научных трудов - Ершов Ю. Л. (Труды института математики СО АН СССР Т. 29, № 5)