Вид документа : Однотомное издание Шифр издания : 51/С 89 Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна Заглавие : Математическая логика и теория алгоритмов : учебное пособие для вузов . -2-е изд., перераб. Выходные данные : Новосибирск: НГТУ, 2010 Колич.характеристики :255 с Серия: Учебники НГТУ Примечания : Указ.: с. 241-255 ISBN, Цена 978-5-7782-1348-7: 650.00 р. ГРНТИ : 27.03 ББК : 510.3я73 + 510.37я73 Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Овчинникова, Елена Викторовна