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-запись

Показать

Описание

Автор
ЗаглавиеNormalization, cut-elimination and the theory of proofs
Коллекции ЕЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЕЭК 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