A962559-ОХФ, A962560-ОХФ-ЧЗ-4 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р. На обл. авт. не указаны
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |