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-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеAn introduction to mathematical logic and type theory : To truth through proof
Дата поступления в ЭК 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