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 商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。洛南高等学校 2013年度受験用 赤本173 (高校別入試対策シリーズ)。取引メッセージにてご連絡ください。関東学院大学 (2013年版 大学入試シリーズ) 教学社編集部。