Вид документа : Однотомное издание Шифр издания : 876908 51.013+51.017+017.7:51/Г18 Автор(ы) : Гамова, Алла Николаевна Заглавие : Математическая логика и теория алгоритмов : учеб. пособие для студентов и аспирантов мат. фак. ун-та Выходные данные : Саратов: Издательство Саратовского университета, 1999 Колич.характеристики :76 с.: ил. Примечания : Библиогр. ISBN, Цена 5-292-02362-0: 15.00 р. УДК : [510.5+510.63](075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний Экземпляры : всего : ОХФ(2) Свободны : ОХФ(2)