Implementing Mathematics With the Nuprl Proof Development System


【著者名　】R.L. Constable et al.

【シリーズ】

【出版社　】Prentice-Hall


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

【現品状態】
裸本、表紙少スレ、天小口少日焼けあり、本文良。

【ISBN】0134518322

¥ 2,000 税込

数量