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