С 89 Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учебник / С. В. Судоплатов, Е. В. Овчинникова. - М. : ИНФРА-М, 2008. - 224 с. - (Высшее образование). - ISBN 978-5-16-001975-8 (в пер.) : 116.93 р.
Рубрики: Математика--Математическая логика--Учебные издания Кл.слова (ненормированные): ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ -- Элементы теории моделей -- Элементы теории алгоритмов Доп.точки доступа: Овчинникова, Е. В. ~Экземпляры всего: 4 аб (3), ч/з (1) Свободны: аб (3), ч/з (1) |