Вид документа : Однотомное издание Шифр издания : 51/С 89 Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна Заглавие : Математическая логика и теория алгоритмов : учебник и практикум для акад. бакалавриата по техн. спец. . -5-е изд. Выходные данные : Москва: Юрайт, 2016 Колич.характеристики :255 с Коллективы : Новосибирский государственный технический университет Серия: Бакалавр. Академический курс Примечания : Библиогр.: с. 223-225. - Указ.: с. 240-255 ISBN, Цена 978-5-9916-8277-0: 673.51 р. ГРНТИ : 27.03 ББК : 510.3я73 + 510.37я73 Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Овчинникова, Елена Викторовна; Новосибирский государственный технический университет