Theories of Types and Proofs


【著者名　】M. Takahashi /M. Okada /M. Dezani-Ciancaglini (Eds.)

【シリーズ】MSJ Memoirs 2

【出版社　】The Mathematical Society of Japan


【発行年度】1999　 【冊数】1　 【頁数】295　 【判型・装丁】6to soft

【現品状態】
反り有。カド擦れ。本文概ね良好。

【ISBN】4931469027

￥1,500 税込

数量