![[(Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday )] [Author: Robert L. Constable] [May-2012]](https://images.bookpine.com/e67adf1b-c255-46c9-8ef3-5c1ce5b6c97c.jpg)
[(Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday )] [Author: Robert L. Constable] [May-2012]
还没有评分
英语
·
平装书