お気に入り登録した商品は、こちらのプルダウンから確認することができます
同一ショップで3953円以上購入時、送料無料
※同時に(一度に)購入した場合のみ適用となります
【 明日17:00 】 までのご注文で翌日お届けに対応。 定休日のご注文は翌営業日の発送となります。(定休日:日曜日, 土曜日, 祝日)
【重要】 交通事情や悪天候などの不可抗力が生じた場合は、商品到着の日時が変更となる場合が御座います。 また年末年始やクリスマスなどの繁忙期は輸送量の増加により【翌日お届け】対応が困難となる場合が御座います。 ※ご希望のご選択がない場合は、値札は外さず発送となります。
レビューはありません。
残り 6 点 24,689円
(153 ポイント還元!)
翌日お届け可(営業日のみ) ※一部地域を除く
お届け日: 11月27日〜指定可 お届け日: (明日17:00のご注文まで)
ページ上部の「お気に入り商品一覧」からご確認頂けます。
30個以上かつ10万円以上のご購入はこちらからお問い合わせください
27,350円
21,080円
100,000円
19,200円
105,000円
19,800円
▼ポポンデッタ-7512▼タキ1900/セメントターミナル/12両セット/カトーのナックルカプラー化/倉賀野駅&郡山貨物ターミナル駅常備/CT/
24,440円
(G RAP) KING J MACK
18,000円
【千f569】杉田祥平 数茶碗 10客 安南 唐子 七宝画 清閑寺窯 共箱 茶碗
27,500円
EPSON 純正インクカートリッジ SC2Y70 イエロー (SC-S30650 SC-S30650C SC-S30650H SC-S50650 SC-S50650C SC-S50650H)
25,850円
Eric Church "On The Rocks Live And (Mostly) Unplugged" BRAND NEW 2016 VINYL! 海外 即決
21,970円
【女性用】PRGR プロギア iD nabla RS フェアウェイウッドセット オリジナルカーボン (A) 右利き レディース
19,980円
トルネードマート シューズ L レザー 本革 白 茶 新品 4512
22,999円
【】コルグ ダイナミック・フレーズ・シンセサイザー KAOSSILATORKORG KAOSSILATOR
27,878円
ダンロップ ゼクシオ XXIO 11 ゼクシオ イレブン ドライバー ネイビー 10.5度 ゼクシオ MP1100 カーボン(R)★インパクトが決まる
23,800円
アルミ板 8x550x1100 (厚x幅x長さ㍉) 保護シート付
27,852円
24,689円
カートに入れる
【30日間返品保証】: 商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。
ご満足のいく取引となるよう精一杯対応させていただきます。
下記に商品説明や配送料・配送方法・注意事項等の説明がございます。お客様にとって大切な事柄を記載しておりますので、よくお読みいただき、ご了解の上ご購入をお願い致します。
【インボイス制度対応済み】当社では2023年10月からインボイス制度に対応した適格請求書発行事業者番号(通称:T番号・登録番号)を印字した納品書(明細書)を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。
こちらの商品は、ヤフオクとヤフーショッピングの併売商品です。どちらのサイトからもご購入可能です。
●ヤフオク本店はこちら
●ヤフオク2号店はこちら
●ヤフーショッピング本店はこちら
●ヤフーショッピング2号店はこちら
【ヤフオク・ヤフーショッピングセール情報】
ヤフオクセール商品はこちら
ヤフーショッピングセール商品はこちら
【商品説明】
商品詳細
■商品名■
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
■出版社■
Springer Berlin Heidelberg
■発行年■
2010/02/19
■ISBN10■
3642058809
■ISBN13■
9783642058806
■コンディションランク■
非常に良い
コンディションランク説明
ほぼ新品:未使用に近い状態の商品
非常に良い:傷や汚れが少なくきれいな状態の商品
良い:多少の傷や汚れがあるが、概ね良好な状態の商品(品として並の状態の商品)
可:傷や汚れが目立つものの、使用には問題ない状態の商品
■コンディション詳細■
書き込みありません。古本ではございますが、使用感少なくきれいな状態の書籍です。弊社基準で良よりコンデションが良いと判断された商品となります。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。
参考書・予備校テキストの買取もしています↓
【その他の注意事項】
お取引に関わるその他の注意事項【書き込みに関して】
書き込みの程度や付属品の揃い具合はできるだけチェックはしておりますが、多少(10%~20%程度)の誤差や見落としがあることもございます。恐れ入りますが予めご了解いただきますようお願い申し上げます。【使用感などの状態に関して】
商品説明のコンディションランクをご参照ください。【画像および商品説明に関して】
出品している商品および付属物などは画像はサンプル画像となります。書籍の状態につていはご質問いただいてもご回答が出来かねる場合がございます。【落札後のキャンセルや返品に関して】
ヤフオクでのご落札後のキャンセルは承っておりません。責任を持って取引できる価格でのご入札をお願いいたします。
商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。メール又は取引メッセージにてご連絡ください。商品に瑕疵がない状態での落札者様都合でのご返品は承っておりません。