С741 Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977. Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 391 с. ; 22 см. - ). - Библиогр. в конце глав. - Предм. указ.: с. 383-388. - 20000 экз.. - (в пер.) : 2.10 р.
Кл.слова (ненормированные): математическая логика -- теория доказательств -- конструктивная математика -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\ Экземпляры всего: 3 кх (3) Свободны: кх (3) |