新入荷
再入荷
【初回限定お試し価格】 Basic Computer Theoretical in Tracts (Cambridge Theory Proof 洋書
4
（130件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 | 中古 ：8548266300 | メーカー | 16a0d0d26a47 | 発売日 | 2025-06-19 03:25 | 定価 | 6000円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
【初回限定お試し価格】 Basic Computer Theoretical in Tracts (Cambridge Theory Proof 洋書
Basic Proof Theory (Cambridge Tracts in Theoretical Computer,Proof Theory: Second Edition (Dover Books on Mathematics,Basic Proof Theory 2nd Edition | Cambridge University Press,Basic Proof Theory (Cambridge Tracts in Theoretical Computer,Formalizing the proof of PFR in Lean4 using Blueprint: aご覧頂きありがとうございます。洋書 JACQ.DE.BROUWER。\r即購入大歓迎です。洋書 PANEL LAYOUT for competition。質問も大歓迎です。洋書 まとめ売り。\r\r【洋書】です。激レア❗️ Maison Martin Margiela: 20/マルジェラ。\r【ペーパーバック】です。1965年ビンテージ愛らしい挿絵の絵本 洋書 古書 妖精 ジャンクジャーナルに。\r【送料込み、匿名配送】です。レア！「Ten Imaginary Years」公式バイオグラフィー本 キュアー。\r\r#alchimie_数学\r#alchimie_ソフトウェア開発\r\r●タイトル： Basic Proof Theory second edition\r●著者： A. S. Troelstra / H. Schwichtenberg\r●定価：￥9403\r\r●ヤケ：なし ●シミ：なし ●汚れ：なし\r●破れ：なし ●スレ：なし ●キズ：なし\r●折れ：なし ●書き込み：なし\r●ページ開き癖：少し\r●ペット臭、タバコ臭：なし\r\r●その他、注意事項：\rとても良い状態ですが、一応中古品ということをご理解の上ご検討ください。レア♡可愛すぎます（≧∇≦）1927年アンティーク絵本 洋書ジャンクジャーナルに。\r\rfirst-order logic\rcategory theory\rmodal logic\rlinear logic
洋書の作品リスト
レディースの製品
