Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot,Yves; Cast?ran,Pierre ■万が一品質に不備が有った場合は、返金対応。(578) お茶の水女子大学附属中学校 平成23年 声の教育社。 全国緑化産業 総監