Basic Proof Theory : 2nd Edition (Soft)


【著者名　】A.S. Troelstra & H. Schwichtenberg

【シリーズ】Cambridge Tracts in Theoretical Computer Science 43

【出版社　】Cambridge University Press


【発行年度】2000　 【冊数】1　 【頁数】417　 【判型・装丁】8vo soft

【現品状態】
少日焼け汚れ。カド縁少擦れ。本文概ね良好。

【ISBN】0521779111

￥4,500 税込

数量