Справочная книга по математической логике. Ч. 3: Теория рекурсии
82-5/5748 русский (rus)/Теория рекурсии / [Г.Б. Эндерсон, М. Девис, М.О. Рабин и др.] ; Перевод С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова.Теория рекурсии / [Г.Б. Эндерсон, М. Девис, М.О. Рабин и др.].Теория рекурсии.Б. м./, 1982 ( ). - 1982. - 360 с.Теория рекурсии. Б. м., 1982 .
В кн. также: Алгоритмические проблемы в теории полей: Положит. аспекты / Ю.Л. Ершов. - Библиогр.: с. 6 (6 назв.). - Библиогр. в конце глав. - Предм. указ.: с. 354-359. Библиогр.: с. 6 (6 назв.). Библиогр. в конце глав. Предм. указ.: с. 354-359.Справочная книга по математической логике : В 4 ч. / Под ред. Дж. БарвайсаЧ. 3
В кн. также: Алгоритмические проблемы в теории полей: Положит. аспекты / Ю.Л. Ершов. - Библиогр.: с. 6 (6 назв.). - Библиогр. в конце глав. - Предм. указ.: с. 354-359. Библиогр.: с. 6 (6 назв.). Библиогр. в конце глав. Предм. указ.: с. 354-359.Справочная книга по математической логике : В 4 ч. / Под ред. Дж. БарвайсаЧ. 3