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