Вид документа : Продолжающееся издание Шифр издания : 22.12/С-74 Заглавие : Справочная книга по мат. логике: В 4 ч.; Пер. с англ. Ч.3: Теория рекурсии Выходные данные : М.: Наука.Гл.ред.физ.-мат.лит., 1982 - Колич.характеристики :360с.: ил. Цена : Б.ц. ББК : 22.12 Ключевые слова (''Своб.индексиров.''): математическая логика--справочники--рекурсия Экземпляры :АБ(1) Свободны : АБ(1) |