Теория рекурсивных функций и эффективная вычислимость / Пер. с англ. В.А. Душского [и др.] ; Под ред. В.А. Успенского
Заглавие на дополнительном титульном листе: : Theory of recursive functions and effective computabilityЯзык: русский ; оригинала, английский.Выходные данные: Москва : Мир, 1972Физическая характеристика: 624 с. ; 22 см.Примечания: Доп. тит. л.: Theory of recursive functions and effective computability. Hartley Rogers, jr..Библиография: Список лит.: с. 587-599; Указ. обозначений, теорем и алф.: с. 600-621.Предметная рубрика - Тема: Функции рекурсивныеКоллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 72-5/4664 (Просмотр полки(Открывается ниже)) | Доступно | 7574520-10 |
Доп. тит. л.: Theory of recursive functions and effective computability. Hartley Rogers, jr.
Список лит.: с. 587-599
Указ. обозначений, теорем и алф.: с. 600-621