おかげさまで開設25周年PIVXI.XYZ 創業祭

PIVXI.XYZ

詳しくはこちら

マイストア変更

(2274)

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 Amazon.co.jp: Interactive Theorem Proving and Program Development

Amazon.co.jp: Interactive Theorem Proving and Program Development

HOT ! 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 Amazon.co.jp: Interactive Theorem Proving and Program Development

※PIVXI.XYZ 限定モデル
YouTuberの皆様に商品の使い心地などをご紹介いただいております！
紹介動画はこちら

ネット販売
価格（税込）

11182円

コメリカード番号登録、コメリカードでお支払いで
コメリポイント： 4ポイント獲得

コメリポイントについて

購入個数

お店で受け取る
（送料無料）

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

13時までに注文→17時までにご用意

17時までに注文→翌朝までにご用意

受け取り方法・送料について

カートに入れる

配送する

納期目安：

2026.07.28 7:43頃のお届け予定です。

決済方法が、クレジット、代金引換の場合に限ります。その他の決済方法の場合はこちらをご確認ください。

※土・日・祝日の注文の場合や在庫状況によって、商品のお届けにお時間をいただく場合がございます。

欲しいものリストに追加されました

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 Amazon.co.jp: Interactive Theorem Proving and Program Developmentの詳細情報

Amazon.co.jp: Interactive Theorem Proving and Program Development。Amazon.co.jp: Interactive Theorem Proving and Program Development。Amazon.co.jp: Interactive Theorem Proving and Program Development。

商品説明

【30日間返品保証】
Rocq Books
商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。
語学+参考書 Course of Theoretical Physics

浜学園　小４　公開学力テスト　４年分　国語算数理科社会　2022年度～
【最短翌日到着】
要説日本文法体系論 /明治書院/森岡健二（単行本）
正午12時まで（日曜日は午前9時まで）の注文は当日発送（土日祝も発送）。関東・関西・中部・中国・四国・九州地方は翌日お届け、東北地方・新潟県・北海道・沖縄県は翌々日にお届けします。
コレクション・ドイツ語１　入門/白水社/岩崎英二郎（単行本）

俗語大辞典 /東出版（豊島区）/堀籠美善（単行本）
【インボイス制度対応済み】
カラーアトラスサクシンクト口腔外科学 (第4版)
当社ではインボイス制度に対応した適格請求書発行事業者番号（通称：T番号・登録番号）を印字した納品書（明細書）を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。
胆道外科の要点と盲点 (Knack & pitfalls)

フロイト全集 1912-13年須藤訓任
ご満足のいく取引となるよう精一杯対応させていただきます。
勝つための古典文法50 椎名守

フランス語を１２の３改訂新版/白水社/内藤陽哉（単行本）
※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。
日本語トルコ語辞典 /大学書林/竹内和夫（トルコ語）（単行本）

国語語彙史の研究１８/和泉書院/国語語彙史研究会（単行本）
■商品名■
国語語彙史の研究３１/和泉書院/国語語彙史研究会（単行本）
InteractiveTheoremProvingandProgramDevelopment:Coq’Art:TheCalculusofInductiveConstructions(TextsinTheoreticalComputerScience.AnEATCSSeries)[ペーパーバック]Bertot，Yves?Cast?ran，Pierre?Huet，G.;Paulin-Mohring，C.
語学+参考書 Current Issues in Public Utilities and Public Policy: Empirical Studies Focusing on Japan (Kobe University Monograph Series in Social Science Research)

ジャック幼児教育研究所　問題集セット
■出版社■
六訂　物理学実験 [単行本] 吉田卯三郎? 武居文助? 橘芳實; 武居文雄
Springer
国語語彙史の研究２８/和泉書院/国語語彙史研究会（単行本）

平凡社百科年鑑　〓９３大百科装/平凡社（大型本）
■著者■
First Aid for the USMLE Step 1 2014 [ペーパーバック] Le M.D.， Tao
BertotYves
語学+参考書 Essentials of Public Health Preparedness and Emergency Management (Essential Public Health)

節用集と近世出版/和泉書院/佐藤貴裕（単行本）
■発行年■
論究日本近代語第３集/勉誠社/日本近代語研究会（単行本）
2010/12/15
ハオハオハオ初級中国語/リンガフォン・ジャパン（カセット）

全国大学項目別数学入試問題詳解平成１９年度/聖文新社/聖文新社（単行本）
■ISBN10■
現代日本語の疑問表現 ―疑いと確認要求― ひつじ研究叢書(言語編) 36
3642058809
不法行為法理論の諸相 (平井宜雄著作集２) 平井宜雄

語学+参考書 Quantum Computation and Quantum Information: 10th Anniversary Edition
■ISBN13■
第43〜48回視能訓練士国家試験問題集 (視能訓練士セルフアセスメント)
9783642058806
日本外来語辞典/東出版（豊島区）/上田万年（単行本）

代々木ゼミナール代ゼミ国公立大医系英語テキスト通年セット 2021 計3冊佐々木和彦 027M0D
■コンディションランク■
コレクション・ドイツ語３　話す/白水社/岩崎英二郎（単行本）
非常に良い
藍野大学 (2014年版大学入試シリーズ) 教学社編集部

フェルマー予想斎藤毅
コンディションランク説明
全国大学数学入試問題詳解国公立大学平成20年度聖文新社編集部
ほぼ新品：未使用に近い状態の商品
ビジネスマンの父より息子への３０通の手紙［録音資料］ /新潮社/Ｇ．キングズリ・ウォ-ド（文庫）
非常に良い：傷や汚れが少なくきれいな状態の商品
語学+参考書 Physical Kinetics: Volume 10
良い：多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)
ドイツ語表現ハンドブック/白水社/関口一郎（ドイツ語）（単行本）
可：傷や汚れが目立つものの、使用には問題ない状態の商品
肝胆膵の鑑別診断のポイント＿画像診断2016年3月増刊号(Vol.36No.4) (画像診断増刊号) 山下康行

Post isometric relaxation―等尺性収縮後の筋伸張法 [単行本] 伊藤俊一
■コンディション詳細■
希学園　小3 最高レベル演習算数　通年テキスト
書き込みありません。古本ではございますが、使用感少なくきれいな状態の書籍です。弊社基準で良よりコンデションが良いと判断された商品となります。水濡れ防止梱包の上、迅速丁寧に発送させていただきます。
東京大学理科後期日程 2007年版: 2007-駿台過去3か年 (大学入試完全対策シリーズ 10) 駿台予備学校

首都大学東京(理系) (2005年版大学入試シリーズ) 教学社編集部

赤本372 早稲田大学 (商学部) 2005年版
■当社の出品一覧↓■
SAPIX サピックス Sunday SapiX 算数 SSKA-01〜11/12〜14 実力テスト開成コース計14回分セット 040S2D
#ブックスドリーム出品一覧
代々木ゼミナール大阪南校代ゼミセンター世界史テキスト通年セット 2018 計4冊新里将平 044M0D
参考書・赤本・専門書・医学書、予備校テキスト・塾テキスト・教材を30万点以上出品しています。
代々木ゼミナール代ゼミ共通テスト世界史テキスト通年セット 2020 計4冊佐藤幸夫 037M0D

刑事コロンボシリ-ズ２/Ｓｏｆｔｒａｄｅ　Ｉｎｔｅｒｎａｔｉｏｎ（単行本）
※上記クリック後、「半角または全角スペース+検索したいワード」を追加することで、予備校名や出版社名、講師名等で絞れます。
代々木ゼミナール代ゼミ漆原晃のわかりやすく点が伸びる物理テキスト通年セット 2022 計4冊 032M0D
例）
藤田保健衛生大学２０１２年度/ミスズ（みすず学苑中央教育研究所）/入試問題検討委員会（大型本）
「#ブックスドリーム出品一覧駿台」
甲南大学 (2015年版大学入試シリーズ) 教学社編集部
「#ブックスドリーム出品一覧旺文社」
代々木ゼミナール代ゼミ English Links 標準読解・作文テキスト通年セット 2022 計4冊西川彰一 028M0D
「#ブックスドリーム出品一覧四谷大塚小6算数」
最新現代社会（現社303） / 実教出版

日本大百科全書８２版/小学館（大型本）

旺文社 - 英語検定教材 1級対策教本リスニング面接単熟語セット
【発送予定日について】
愛知医科大学２０１２年度/ミスズ（みすず学苑中央教育研究所）/入試問題検討委員会（大型本）
正午12時まで（日曜日は午前9時まで）のご注文は当日に発送いたします。正午12時（日曜日は午前9時）以降のご注文は翌日に発送いたします（土曜日・日曜日・祝日も発送しています）。
部分矯正: その臨床応用のすべて
※土曜日・祝日も正午12時までのご注文は当日に発送いたします。
(中学生用)高校受験勉強セット★10冊セット+おまけブック1冊
※年末年始（12/31〜1/3）は除きます。
確認用　大学入試センタ－試験過去問レビュ－地理Ｂ

語順で学ぶ中国語入門文法編/アルク（千代田区）/紹文周（単行本）
(例)
早稲田大学文化構想学部・文学部 2008年版: 過去5か年 (大学入試完全対策シリーズ 24) 駿台予備学校
・月曜0時〜12時までのご注文：月曜日に発送
北九州市立大学 (2007年版大学入試シリーズ) 教学社編集部
・月曜12時〜24時までのご注文：火曜日に発送
代々木ゼミナール代ゼミ西谷昇二の基礎総合英語テキスト通年セット 2018 計2冊 024S0D
・土曜0時〜12時までのご注文：土曜日に発送
やさしい人物イラスト―どうすればうまく描けるか?
・土曜12時〜24時のご注文：日曜日に発送
国語語彙史の研究４１/和泉書院/国語語彙史研究会（単行本）
・日曜0時〜9時までのご注文：日曜日に発送
小学事典　高学年国語くわしい参考書・よくわかる・とても役立つ/教学研究社（単行本）
・日曜9時〜24時のご注文：月曜日に発送
日能研小4 全国公開模試実力判定/合格力育成テスト等 2021年度実施国語/算数/理科/社会通年セット 000L2D

東進ハイスクール高2 数学の真髄テキスト通年セット 2021 計6冊青木純二 017S0D
【送付方法について】
代々木ゼミナール代ゼミ寺尾政晃のハイレベル英文読解テキスト 2019 夏期/冬期直前計2冊 028S0D
ネコポス、宅配便またはレターパックでの発送となります。
慶應義塾大学(看護医療学部) [2009年版医歯薬・医療系入試シリーズ] 教学社出版センター

四天王寺国際仏教大学・四天王寺国際仏教大学短期大学部 (2006年版大学入試シリーズ)
東北地方・新潟県・北海道・沖縄県・離島以外は、発送翌日に到着します。
語学+参考書 Out of the Crisis
東北地方・新潟県・北海道・沖縄県・離島は、発送後2日での到着となります。
代々木ゼミナール代ゼミ数学的思考の鍛錬数学III編テキスト通年セット 2022 計4冊貫浩和 037M0D

同志社大学　赤本2017〜2020年　11冊

神戸大学〈文系〉前期日程 2009年版 (大学入試完全対策シリーズ 18) 駿台予備学校
商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。取引メッセージにてご連絡ください。