このページのリンク

Theories of types and proofs / Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (eds.).
(MSJ memoirs ; v. 2)

データ種別 図書
出版者 Tokyo : Mathematical Society of Japan
出版年 1998.
大きさ vii, 295 p. : ill. ; 25 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 410.8/Ma72/v.2 05174438
4931469027

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Takahashi, Masako.
Okada, M.(1954-)
Dezani-Ciancaglini, M.
件 名 Type theory.
Proof theory.
分 類 NDC:411
書誌ID 1000229664
ISBN 4931469027
NCID BA39308198 WCLINK

 類似資料