![[(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]
아직 평점이 없습니다
영어
·
페이퍼백