Вид документа : Многотомное издание Шифр издания : 22.12 Автор(ы) : Заглавие : Справочная книга по математической логике: в четырех частях: пер. с англ./ ред. Дж. Барвайс. Ч. 4: Теория доказательств и конструктивная математика Выходные данные : Москва: Наука, 1983 Колич.характеристики :391 с Цена : 2.10 р. ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): арифметика пеано--геделевская интерпретация--деревья бема--конструктивная математика--мажорантная семантика--математическая логика--принцип маркова--прямое доказательство--справочники--ступенчатая семантика--тезис черча--теорема рамсея--теорема эрбрана--теорема непрерывности--теоремы о неполноте--теории конечного типа--теория доказательств--топосы--условия замкнутости--эффективные операторы Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Барвайс, Дж. \\ред.\\