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