Logic and Computation (Soft)
Interactive proof with Cambridge LCF
【シリーズ】Cambridge Tracts in Theoretical Computer Science 2
【出版社 】Cambridge University Press
【発行年度】1990 【冊数】1 【頁数】302 【判型・装丁】8vo soft
【現品状態】
少日焼け汚れ。カド擦れ反り有。本文概ね良好。
【ISBN】0521395607
￥2,000 税込