Новые поступления (книга в стадии обработки)     Гамова, Алла Николаевна.     Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов и аспирантов мат. фак. ун-та / Алла Николаевна Гамова. - Саратов : Изд-во Сарат. ун-та, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р. УДК [510.5+510.63](075.8) Рубрики: математика -- математическая логика -- Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний 0 Свободных экз. нет