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 ■中古品ではございますが、良好なコンディションです。獣医組織学教科書。【中古】 上住のわかる世界史標準講義 2/旺文社/上住友起。 【中古】 自己紹介の英語 [録音資料] 改訂新版/ジャパンタイムズ/山本圭介