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