В12 В317 В12 / В317-02 Верещагин, Николай Константинович. Языки и исчисления / Н. К. Верещагин, А. Шень. - Изд. 4-е, испр. - Москва : Изд-во МЦНМО, 2012. - 240 с. : ил. ; 21 см. - (Лекции по математической логике и теории алгоритмов). - Указ. предм. и имен.: с. 228-240. - Библиогр.: с. 224-227. - 1000 экз. На обл. авт. не указаны
Рубрики: исчисление высказываний и предикатов Кл.слова (ненормированные): Математическая логика -- Алгоритмы Доп.точки доступа: Шень, Александр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |