Новые поступления (книга в стадии обработки) Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 224 с. - 0.90 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- задачи -- логика предикатов -- математическая логика -- машины Тьюринга -- нумерации Клини -- нумерации Поста -- предикаты -- теория алгоритмов -- теория множеств Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Максимова, Лариса Львовна |