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