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