Вид документа : Однотомное издание Шифр издания : 22.12/У 77 Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович Заглавие : Вводный курс математической логики Выходные данные : М.: Физматлит, 2002 Колич.характеристики :125 с ISBN, Цена 5-9221-0278-8: 30.00, 30.00, р. ББК : 22.12 Предметные рубрики: Естественные науки-- Математика Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--теория множеств--логика высказываний--кванторы--теория доказательств--теорема гёделя о полноте--теория алгоритмов Экземпляры :ЦБ(1) Свободны : ЦБ(1) Доп.точки доступа: Верещагин, Николай Константинович; Плиско, Валерий Егорович