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