С 74 Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. IV : Теория доказательств и конструктивная математика / перевод с английского Г. В. Давыдова, Г. Е. Минца; под редакцией В. П. Оревкова. - 1983. - 391 с. : ил. - Пер. изд. : HANDBOOK OF MATEMATICAL LOGIC. - 2.10 р. Рубрики: Математика--Математическая логика--Справочники Кл.слова (ненормированные): теорема о неполноте -- теория доказательств -- теория Эрбрана -- теории конечного типа -- логика топосов -- арифметика Пеано -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\; Давыдов, Г. В. \пер.\; Минц, Г. Е. \пер.\; Оревков, В. П. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |