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