Вид документа : Однотомное издание Шифр издания : 252353 Автор(ы) : Игошин, Владимир Иванович Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -2-е изд., стер. Выходные данные : Москва: Академия, 2008 Колич.характеристики :446, [2] с Серия: Высшее профессиональное образование. Педагогические специальности Примечания : Библиогр.: с. 435-442. - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика" ISBN (в пер.), Цена 978-5-7695-4593-1: 320.10 р. УДК : 510.5(075.8) + 510.6(075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний--аксиоматические теории Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47) Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47) |