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