Описание
Теоретические применения методов математической логики. III.
Академия наук СССР. Математический институт им. В.А. Стеклова. Ленинградское отделение. Записки научных семинаров ЛОМИ, том 105. Сборник работ под редакцией Д.Григорьева, В.Оревкова. Ротапринт. М. Изд-во Наука 1981г. 200 с. переплет/обкладинка: Мягкий, формат обычный.
В настоящем сборнике представлены работы по оценкам сложности распознавания некоторых предикатов на словах, по оценкам в алгебраической сложности вычислений, применению теории доказательств в теории категорий и работы по теории поиска логического вывода. «Содержание» - смотри фото. Тираж книги 1700 экз.Вес книги 270 гр.
Состояние книги: очень хорошее, практически нечитанный экземпляр, подпись на форзаце
№1241=№1240
