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