Справочная книга по математической логике : В 4-х ч. Пер. с англ. / Под ред. Дж. Барвайса

Карточка


Справочная книга по математической логике : В 4-х ч. Пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука. - 22 см.
Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др.]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова. - М. : Наука, 1983. - 391 с. : ил.; ISBN В пер. (В пер.) : 2 р. 10 к.


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

Marc21

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

Показать

Описание

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