Новые поступления (книга в стадии обработки) Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра логики -- логика предикатов -- алгоритмы -- исчисление высказываний Аннотация: Учебное пособие предназначено для студентов университетов и пед. институтов, изучающих курс математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |