書誌「Theories of Types and Proofs」Takahashi. Masako・Okada. Mitsuhiro・Dezani-Ciancaglini. Mariangiola編著（日本数学会）978-4-931469-02-0/9784931469020

書誌データ

Jcode	c
NDC	n
code	9784-931469-02-0
ISBN13	9784931469020
商品名	Theories of Types and Proofs
作者	Takahashi. Masako・Okada. Mitsuhiro・Dezani-Ciancaglini. Mariangiola編著
出版社	日本数学会
シリーズ	MSJ Memoirs 2
サイズ	-
出版日	199812
版刷	初版1刷
定価	5800
頁	295p
函：帯	-：-
解題	-