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 5.使用感などテキストの状態に関して 【中古】 鹿児島大学(理系) 2013/教学社 使用感・傷みにつきましては、商品説明に記載しております。 【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子