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 【インボイス制度対応済み】 【中古】 鹿児島大学(理系) 2013/教学社 当社ではインボイス制度に対応した適格請求書発行事業者番号(通称:T番号・登録番号)を印字した納品書(明細書)を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。 【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子
赤本まとめ売り ■出版社■ GMAT Foundations of Math: 900+ Practice Problems in Book and Online (Manhattan Prep GMAT Strategy Guides) [ペーパーバック] Manhattan Prep メディカ出版 Grounded Theory [ペーパーバック] Birks,Melanie