このページのリンク

Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.
(CSLI lecture notes. ; no. 28)

データ種別 図書
出版者 Stanford, CA : CSLI
出版年 c1992.
大きさ v, 236 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示


GF:BOOK.SHELF 411/U75n 04762475
0937073830

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 229-233) and index.
著者標目 Ungar, A. M.(1945-)
件 名 Proof theory
分 類 NDC:411
書誌ID 1000200585
ISBN 0937073830

 類似資料