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