W 154-1/206
Шапорев, Сергей Дмитриевич.
Математическая логика [] : курс лекций и практ. занятий : [по специальности 220200 "Автоматизир. системы обраб. информ. и упр."] / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. ; 24 см. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : Б. ц. р.ББК В12я73-2
Рубрики: Математическая логика
Примірників всього: 1
ХР (1)
Свободны: ХР (1)