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/教学社 可 【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子
★希少★図形の極 玉井式 3級 ■コンディション詳細■ 赤本まとめ売り 当商品はコンディション「可」の商品となります。多少の書き込みが有る場合や使用感、傷み、汚れ、記名・押印の消し跡・切り取り跡、箱・カバー欠品などがある場合もございますが、使用には問題のない状態です。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。 GMAT Foundations of Math: 900+ Practice Problems in Book and Online (Manhattan Prep GMAT Strategy Guides) [ペーパーバック] Manhattan Prep