【中古】 じゃれマガ 100 Stories of 2010/浜島書店/ダグラス・ジャレル 7回〜48回までには書き込みないと思いますが、見落としたら、ご容赦ください。 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