|
ВС46374 Шапорев, Сергей Дмитриевич. Математическая логика. Курс лекций и практических занятий [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. - Библиогр.: с. 405. - ISBN 978-5-94157-702-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
|