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 ※何かございましたら、お気軽にコメントお願い申し上げます。【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子。社会的責任目標と学業達成過程 [単行本] 中谷 素之。有難うございましたm(__)m♡