Справочная книга по математической логике : В 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

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

ЗаглавиеСправочная книга по математической логике : В 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