К 26 Карри, Хаскелл. Основания математической логики [] : научное издание / Х. Карри ; перевод с английского В. В. Донченко ; Под редакцией Ю. А. Гастев. - Москва : Мир, 1969. - 563 с. : ил. ; 22 см. - 360 экз.. - (в пер.) : 2.61 р. Рубрики: Математика--Математическая логика Доп.точки доступа: Донченко, В. В. \пер.\; Гастев, Ю. А. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Ш 47 Шенфилд, Джозеф. Математическая логика [Text] : переводное издание / Джозеф. Шенфилд ; перевод с английского: И. А. Лаврова, И. А. Мальцева ; под редакцией Ю. Л. Ершова. - Москва : Наука, 1975. - 527 p. ; 22 см. - (Математическая логика и основания математики). - Пер. изд. : Mathematical logic / Joseph R. Shoenfield. - 25 000 экз.. - (в пер.) : 2.16 р. Рубрики: Математика--математическая логика Доп.точки доступа: Лавров, И. А. \пер.\; Мальцев, И. А. \пер.\; Ершов, Ю. Л. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
С 74 Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. IV : Теория доказательств и конструктивная математика / перевод с английского Г. В. Давыдова, Г. Е. Минца; под редакцией В. П. Оревкова. - 1983. - 391 с. : ил. - Пер. изд. : HANDBOOK OF MATEMATICAL LOGIC. - 2.10 р. Рубрики: Математика--Математическая логика--Справочники Кл.слова (ненормированные): теорема о неполноте -- теория доказательств -- теория Эрбрана -- теории конечного типа -- логика топосов -- арифметика Пеано -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\; Давыдов, Г. В. \пер.\; Минц, Г. Е. \пер.\; Оревков, В. П. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |