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 ■通常24時間以内に出荷可能です。あらかじめご了承ください。 小学校受験 附属天王寺小学校受験対策プリント ※商品のサイズなどによっては、日本郵便ゆうパック、ヤマト運輸宅急便での出荷となります。 【中古】 ジャパンタイムズ・ニュースダイジェスト vol.42/ジャパンタイムズ/ジャパンタイムズ