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/教学社 ネコポス、宅配便またはレターパックでの発送となります。Everybody Up レベル1 2nd Edition。 【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子
赤本まとめ売り 2.一般に販売されている書籍の解答解説に関して GMAT Foundations of Math: 900+ Practice Problems in Book and Online (Manhattan Prep GMAT Strategy Guides) [ペーパーバック] Manhattan Prep 一般に販売されている書籍については「解答なし」等が特記されていない限り、解答(解説)が付いております。日能研 合格力育成&実践テスト[難関] 全11回。ただし、別冊解答書の場合は「解答なし」ではなく「別冊なし」等の記載で解答が付いていないことを表すことがあります。ECCジュニア PT教材。 Grounded Theory [ペーパーバック] Birks,Melanie