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

¥ 4,000 税込

数量