Arithmetic, Proof Theory, and Computational Complexity


【著者名　】P. Clote & J. Krajicek (Eds.)

【シリーズ】Oxford Logic Guides 23

【出版社　】Oxford University Press


【発行年度】1993　 【冊数】1　 【頁数】428　 【判型・装丁】8vo hard

【現品状態】
ヤケシミ有、少汚れ有、少反り有、表紙角つぶれ・背汚れ有、遊び頁印消し跡有、本文は概ね良好。

【ISBN】0198536909

￥2,500 税込

数量