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 ■他にご注文頂いた商品がある場合でも、「同梱」は承っておりません。まんが日本昔ばなし 14―第14巻さるかに合戦 (サラ文庫) 愛企画。 【中古】 鹿児島大学(理系) 2013/教学社
GMAT Foundations of Math: 900+ Practice Problems in Book and Online (Manhattan Prep GMAT Strategy Guides) [ペーパーバック] Manhattan Prep ■中古品ではございますが、良好なコンディションです。小動物の胸部X線検査 (Made easyシリーズ) 竹村 直行。 Grounded Theory [ペーパーバック] Birks,Melanie