Вид документа : Однотомное издание Шифр издания : 517/У 774 Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович Заглавие : Вводный курс математической логики . -2-е изд. Выходные данные : Москва: ФИЗМАТЛИТ, 2002 Колич.характеристики :128 с Примечания : Библиогр.: с. 122. - На обл. авт. не указаны ISBN, Цена 5-9221-0278-8: 100.00, 100.00, р. ГРНТИ : 27.03.19 УДК : 510.6(075.8) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): множеств теория--алгоритмов теория--языки первого порядка--доказательств теория--учебные издания Экземпляры : всего : Х(1), ЧЗЕ(1) Свободны : Х(1), ЧЗЕ(1) Доп.точки доступа: Верещагин, Николай Константинович