Вид документа : Однотомное издание Шифр издания : 319959 51.01(075)+51.017/С89 Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна Заглавие : Математическая логика и теория алгоритмов : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование Выходные данные : Москва; Новосибирск: ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004 Колич.характеристики :223, [1] с Серия: Высшее образование Примечания : Библиогр. с. 212-214 ISBN, Цена 5-16-001975-8 (ИНФРА-М) (в пер.): 85.50 р. ISBN, Цена 5-7782-0458-2 (НГТУ): Б.ц. УДК : [510.5+510.6](075.6) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--моделей теория Экземпляры : всего : ОХФ(3) Свободны : ОХФ(3) Доп. точки доступа: Овчинникова, Елена Викторовна