Derivation and Computation
Taking the Curry-Howard Correspondence Seriously
【シリーズ】Cambridge Tracts in Theoretical Computer Science 51
【出版社 】Cambridge University Press
【発行年度】2000 【冊数】1 【頁数】384 【判型・装丁】8vo hard
【現品状態】
ヤケシミ有、表紙擦れ・少角傷み有、本文は概ね良好。
【ISBN】0521771730
￥7,000 税込
関連カテゴリ