Theories of types and proofs (MSJ memoirs ; volume 2)

Theories of types and proofs

(MSJ memoirs ; volume 2)

著者: Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (eds.)

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 図書
ISBN: 4-931469-02-7
タイトル: Theories of types and proofs
著者・編者: Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (eds.)
シリーズタイトル: MSJ memoirs ; volume 2
出版事項: Tokyo : The Mathematical Society of Japan
出版年月日等: 1998
出版年（W3CDTF）: 1998
数量: 295p
大きさ: 25cm
出版地（国名コード）: JP
本文の言語コード: eng
NDLC: M19
対象利用者: 一般
書誌注記: 文献あり
所蔵機関: 国立国会図書館
請求記号: M19-B283
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 025239417
http://id.ndl.go.jp/bib/025239417
全国書誌番号: 22366896
目録規則: 日本目録規則1987年版改訂版
整理区分コード: 111