Электронный каталог

Книга
22.1

Судоплатов, С.В.
Математическая логика и теория алгоритмов : учебник для вузов / С.В. Судоплатов, Е.В. Овчинникова. – М. : ИНФРА-М ; Новосибирск : Изд-во Новосибирского гос. технич. ун-та, 2008. – 224 с. – (Высшее образование). – В надзаг.: Новосибирский гос. техн. ун-т. - На корешке авт. не указаны. - Библиогр.: с. 212-214. - Предм. указ.: с. 215-224. – ISBN 978-5-16-001975-8. – ISBN 978-5-7782-0458-4.

ББК 22.12я73

Генеральный = Математика Основания математики Логика математическая
Генеральный = Математика Основания математики Алгоритмы
Генеральный = Математика Учебники и учебные пособия по математике для вузов

0101551 Библ. им. Тургенева Зал познавательной литературы Естественные науки 22.1