【中古】 じゃれマガ 100 Stories of 2010/浜島書店/ダグラス・ジャレル ✳確認は致しますが、素人による検品の為見落とし等あるかもしれません気になる事は納得いくまでコメントくだされば対応させて頂きます 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