Ungar, Anthony M - Normalization, cut-elimination and the theory of proofs

Карточка

Ungar, Anthony M.

Normalization, cut-elimination and the theory of proofs / A.M. Ungar. - Stanford (Calif.) : CSLI (Center for the study of lang. a. inform.), Cop._1992. - V, 236 с. : ил.; 23 см. - (CSLI lecture notes; 00228).; ISBN 0-937073-82-2 (PBK.)
(CSLI lecture notes; 00228)
FB 15:95-3/70-9

Marc21

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

Показать

Описание

Автор
ЗаглавиеNormalization, cut-elimination and the theory of proofs
Дата поступления в ЭК 01.08.1995
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиA.M. Ungar
Выходные данныеStanford (Calif.) : CSLI (Center for the study of lang. a. inform.), Cop._1992
Физическое описаниеV, 236 с. : ил.; 23 см
Серия(CSLI lecture notes; 00228)
ISBNISBN 0-937073-82-2 (PBK.)
BBK-кодВ121,0
ЯзыкАнглийский
Места храненияFB 15:95-3/70-9