к лекции "Абстрактная вычислимость", подготовленных для Школы по синтезу программ в Сарапуле с 20 июня по 2 июля 1981 г.
