Новые поступления (книга в стадии обработки) Колмогоров, Андрей Николаевич. Математическая логика [Текст] : дополнительные главы / А. Н. Колмогоров. - Москва : Издательство Московского государственного университета, 1984. - 119 с. - 0.25 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): рекурсивные множества -- тезис Черча -- теорема Геделя -- теория алгорифмов -- теория доказательств -- теория множеств Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983. Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 391 с. - 2.10 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): арифметика Пеано -- геделевская интерпретация -- деревья Бема -- конструктивная математика -- мажорантная семантика -- математическая логика -- принцип Маркова -- прямое доказательство -- справочники -- ступенчатая семантика -- тезис Черча -- теорема Рамсея -- теорема Эрбрана -- теорема непрерывности -- теоремы о неполноте -- теории конечного типа -- теория доказательств -- топосы -- условия замкнутости -- эффективные операторы Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Барвайс, Дж. \\ред.\\ |