51 С892 Судоплатов, С. В. Математическая логика и теория алгоритмов : Учеб. для вузов по напр. 654600 Информатика и выч. техника, 654700 Информационные системы, 540200 Физ.-мат. образование / С.В. Судоплатов, Е.В. Овчинникова ; НГТУ. - М., Новосибирск : ИНФРА-М, Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5778204582. - ISBN 5160019758 : 63.58 р. ГРНТИ 27.03 УДК:510.6(075.8) Ключевые слова: логика -- математическая логика -- исчисления предикатов -- теории моделей -- теории алгоритмов -- неклассические логики -- учебники Доп.точки доступа: Овчинникова, Е.В. --- Экземпляры всего: 40 Mесто хранения: аб (38), чз (2) Свободны: аб (38), чз (2) |