Semantics and Logics of Computation (Hard)


【著者名　】Andrew M. Pitts & Peter Dybjer (Eds.)

【シリーズ】Publications of the Newton Institute 14

【出版社　】Cambridge University Press


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

【現品状態】
ヤケシミ有、少反り有、表紙擦れ有、本文は概ね良好。

【ISBN】0521580579

¥ 2,000 税込

数量