『洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th』はセカイモンで920c79cから出品され、326の入札を集めて01月09日 11時 35分に、8677円で落札されました。即決価格は8677円でした。決済方法はに対応。神奈川県からの発送料は落札者が負担しました。PRオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。
ドイツの古いキノコ図鑑2冊セット(SPEISEPILZEⅠⅡ)/アンティーク ヴィンテージ ヨーロッパ キノコの絵 キノコのイラスト 雰囲気◎/
¥ 7200
[1923年]ドイツの古い昆虫図鑑(DIE INSEKTEN)/アンティーク ヴィンテージ ヨーロッパ虫図鑑 昆虫のイラスト 昆虫の絵 雰囲気◎/
¥ 7200
【貴重な1点!】レオナール・フジタ 藤田 嗣治 Connaissance de l'Est 木版画挿絵入り 1960冊限定洋書 1925年 『東洋の知識』 古書
¥ 13500
ドイツの古いシガレットカードのアルバム(BLUMEN-UND BLUTENZAUBER)/アンティーク ヴィンテージ 植物画 ボタニカルアート 雰囲気◎/
¥ 7200
ドイツの古い鳥類図鑑(Alle Singvogel Europas 1971年)/アンティーク ヴィンテージ ヨーロッパ 鳥図鑑 鳥のイラスト 雰囲気◎/
¥ 8500
モンテスキュー著 『Le temple de Gnide』/A.E.Martyによるオリジナル銅版画(アクアチント)挿絵15点入り
¥ 7200
ヴィンテージ 2010 ENCENS エンセンス 初期 Numero 25 アート 洋書
¥ 6800
【貴重!】ルイ・イカール★挿絵本『ビリティスの歌』ビリチスの唄★1949年 ピエール・ルイス Louis Icart Les chansons de Bilitis 手彩色
¥ 15480
祈祷書 アンティーク フランス 19世紀 セルロイド 挿画 ホーリーカード 聖書 ミゼル パロワシアン 古書
¥ 7800
[美しいリトグラフ]ドイツの古い植物図鑑(Pflanzenreich)/アンティーク ヴィンテージ 植物図鑑 花の絵 植物の絵 植物画 洋書 雰囲気◎/
¥ 33000
東ドイツの古い植物図鑑(BUCH DER KORBBLUTLER 1957年)/アンティーク ヴィンテージ 植物図鑑 植物画 植物のイラスト DDR 雰囲気◎/
¥ 5100
アンティーク 祈祷書 19世紀 1800年代 ドイツ 挿画入 樹脂 聖書 ミゼル パロワシアン 骨董 キリスト教 古書 洋書
¥ 7480
即決・格安・稀◆イタリアファシスト独裁者ベニートムッソリーニ、国王ヴィットリオエマヌエーレ3世サイン入(政権獲得最初期1922年11月)
¥ 19950
唐物 希少 旧蔵 中国の占術 清代 中國古代占い風水 線裝 『楊公定穴斷訣』 中国古書 古文書 宣紙 中国古美術 漢籍 風水学 開運 GF100
¥ 8245
希少!アンティーク 1693年 宗教本 教会 古書 洋書 聖書 歴史書
¥ 15000
★希少★美装 マルティ挿絵 ロティ著「至高の青春・ある貧しい士官」1937年 / アール・デコ挿絵本 ポショワール 送料無料!
¥ 19836
古書 珍品旧蔵 清代 超希少 線裝 中国古書 全巻 【14冊のハーネス本 霊棋経 】 中国 古文書 中国古美術 代物 風水医学類線装書
¥ 11700
★希少★美品 アール・デコ挿絵本 A.E.マルティ画 「七宝とカメオ」テオフィル・ゴーティエ 1943年刊 / 七宝螺鈿集 洋書 送料無料!
¥ 16680
[1884年]オーストリアの古い植物図鑑(ALPENFLORA Ⅳ)/アンティーク ヴィンテージ ヨーロッパ 植物画 ボタニカルアート 洋書 雰囲気◎/
¥ 18000
ut26/82 PERNKOPF Atlas of Topographical and Applied Human Anatomy 医学書 洋書 vol1■
¥ 36720
レオノール・フィニ 挿絵本『 O嬢の物語 』 ※ 挿絵 ( カラー ) 12点 + 挿絵( 白黒 ) 1968年出版 ~ 限定本 フランス語 ~
¥ 11880
即決 立ち漕ぎ 日向坂46ファースト写真集 YOROKOBI/撮影 加藤アラタ/撮影 日向坂46/著 新品未開封 b
¥ 6792
[A01622554]Geometry Problems from Mathematical Olympiads Todev, R.
¥ 11030
サム・フランシス洋書限定版カタログ『SAM FRANCIS blue balls』限定1500部 1991年Gagosian gallery刊(NY)
¥ 6167
【P/F1】REBECCA(レベッカ)FEATURING NOKKO ポスター付き ROCK PIX 初版 シンコーミュージック/ノッコ/写真集
¥ 6800
野部利雄 のぞみウィチィズ 全48巻 ジャンプコミックスSP
¥ 6800
京都名勝記 上中下3冊 明治36年 五車楼書店
¥ 10800
オークファンの無料会員に登録すれば
一度検索した商品をお気に入り登録可能。
マイブックマーク機能で
いつでもすぐに登録した商品を
見返すことができます。
既に会員の方はこちらからログインをお願いいたします
「同じ商品を出品する」機能のご利用には
オークファン会員登録が必要です。
価格を表示するには、
オークファンプレミアム(月額8,800円/税込)の登録が必要です。
まずはお試し!!初月無料で過去の落札相場を確認!
オークションで稼ぐための人気機能!
「期間おまとめ検索」を使えば、複数月をまたいだ指定期間の相場検索が可能です。レアな商品の相場や過去の出品数をまとめて確認できます。
さらに、オークファンプレミアムに登録すると最大過去10年分の相場データが月1,200回まで閲覧可能です。
価格を表示するには、
オークファンプレミアム(月額2,200円/税込)の登録が必要です。
まずはお試し!!初月無料で過去の落札相場を確認!
ご満足のいく取引となるよう精一杯対応させていただきます。
下記に商品説明や配送料・配送方法・注意事項等の説明がございます。お客様にとって大切な事柄を記載しておりますので、よくお読みいただき、ご了解の上ご購入をお願い致します。
【インボイス制度対応済み】当社では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日間は無条件で着払いでご返品後に返金させていただきます。メール又は取引メッセージにてご連絡ください。商品に瑕疵がない状態での落札者様都合でのご返品は承っておりません。