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 セット内容は画像をご参照ください。 【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子
赤本まとめ売り ■検索用キーワード■ GMAT Foundations of Math: 900+ Practice Problems in Book and Online (Manhattan Prep GMAT Strategy Guides) [ペーパーバック] Manhattan Prep 算数 Grounded Theory [ペーパーバック] Birks,Melanie