Problemy razrešimosti i konstruktivnyje modeli - Jeršov, Jurij Leonidovič (rz1, 1980)