Вид документа : Шифр издания : 51/У 774 Автор(ы) : Успенский, Владимир Андреевич, Плиско, Валерий Егорович, Верещагин, Николай Константинович Заглавие : Вводный курс математической логики : учебное пособие . -[2-е изд.] Выходные данные : М.: Физматлит, 2004 Колич.характеристики :128 с Примечания : Библиогр.: с.122 . - Предм. указ.: с. 123 ISBN, Цена 5-9221-0278-8: 129.03, 118.47, р. ГРНТИ : 27.03 УДК : 510.6 Предметные рубрики: математическая логика Ключевые слова (''Своб.индексиров.''): теория множеств--теория докозательств--теория алгоритмов--теорема гёделя Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(2) Свободны : ОНЛ (Двинская 5/7, ЦБ)(2) Доп.точки доступа: Плиско, Валерий Егорович; Верещагин, Николай Константинович |