Andrews, Peter B. - An introduction to mathematical logic and type theory : To truth through proof

Экспресс-заказ фрагмента
Andrews, Peter B.
An introduction to mathematical logic and type theory : To truth through proof / Peter B. Andrews. - Orlando etc. : Acad. press, 1986. - XV, 304 с.; 23 см. - (Computer science a. appl. mathematics : A ser. of monogr. a. textbooks).; ISBN 0-12-058535-9 (alk. paper)

(Computer science a. appl. mathematics : A ser. of monogr. a. textbooks)
Математическая логика
Учебники и пособия
Шифр хранения:
FB 5 88-37/72-1

Marc21

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

Показать

Описание

Автор
ЗаглавиеAn introduction to mathematical logic and type theory : To truth through proof
Коллекции ЕЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЕЭК 23.12.1988
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиPeter B. Andrews
Выходные данныеOrlando etc. : Acad. press, 1986
Физическое описаниеXV, 304 с.; 23 см
Серия(Computer science a. appl. mathematics : A ser. of monogr. a. textbooks)
ISBNISBN 0-12-058535-9 (alk. paper)
ТемаМатематическая логика
Учебники и пособия
BBK-кодВ12я73-1
ЯзыкАнглийский
Места храненияFB 5 88-37/72-1