Справочная книга по математической логике : В 4-х ч. Пер. с англ. / Под ред. Дж. Барвайса
Карточка
Экспресс-заказ фрагмента
Справочная книга по математической логике : В 4-х ч. Пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука. - 22 см.
Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова: Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова. - Москва : Наука, 1983. - 391 с. : ил.
Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова: Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова. - Москва : Наука, 1983. - 391 с. : ил.
Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977)
Изд. выходит с 1982 г.
Доказательства [мат.] - (ч. 4)
Конструктивная математика - (ч. 4)
Математическая логика
Шифр хранения:
FB В 82-32/115
FB В 82-32/117
CPF В10.я2/С74
Описание
Заглавие | Справочная книга по математической логике : В 4-х ч. Пер. с англ. / Под ред. Дж. Барвайса |
---|---|
Коллекции ЕЭК РГБ | Каталог документов с 1831 по настоящее время |
Дата поступления в ЭК | 27.02.2002 |
Каталоги | Книги (изданные с 1831 г. по настоящее время) |
Выходные данные | М. : Наука |
Физическое описание | 22 см |
Том | Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова: Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова. - Москва : Наука, 1983. - 391 с. : ил. |
Примечание | Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977) |
Изд. выходит с 1982 г. | |
Тема | Доказательства [мат.] - (ч. 4) |
Конструктивная математика - (ч. 4) | |
Математическая логика | |
Язык | Русский |
Места хранения | FB В 82-32/115 |
FB В 82-32/117 | |
CPF В10.я2/С74 |