Introduction to HOL

A Theorem Proving Environment for Higher-Order Logic


【著者名　】M.J.C. Gordon & T.F. Melham

【シリーズ】

【出版社　】Cambridge University Press


【発行年度】1993/1991　 【冊数】1　 【頁数】472　 【判型・装丁】8vo soft

【現品状態】
リング製本。少日焼け汚れ。表紙擦れ折れ傷み。本文概ね良好。

【ISBN】0521441897

￥5,000 税込

数量