Теоретические применения методов математической логики 3 (Наука, 1981)