*裁断済み*
*裁断済み* フォロー
フォロワー2,284
POWER MINISHOP RATE 99%
  • ネット通販TOP
  • 本、雑誌
  • 自然科学と技術
商品番号 : 918994960 URLをコピー
*裁断済み* 数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論
187,117 個 (販売累計)
5
(49,368)
*裁断済み* 数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論

  • 販売価格
    17,850円
    タイムセール価格
    13,566円
    .

    セール実施時間 17:00 ~ 00:00

    その他のタイムセール商品
  • 発送国
    国内
    送料Domestic

    ゆうメール - 無料

    発送日
    本日決済で12月30日以内に発送
  • 数量
    plus count minus count
  • カートに入れる

    選択した商品がカートに追加されました。
    カートにお進みですか?

    お気に入り追加

他の商品

    current_banner 1 all_banner 3

    同じシリーズの商品

      current_banner 1 all_banner 1
      メーカー/原産地 国内 商品の状態 新品
      発送国 国内 (日本)
      材料/素材 こちらの商品は裁断済みとなります。



      A Course in Mathematical Logic by John L. Bell

      Logic and Structure 5th edition by Dirk Van Dalen

      An Introduction to Non-Classical Logic 2nd edition by Graham Priest

      数学と論理 難波莞爾 著

      現代論理学 安井邦夫 著

      論理学をつくる マーカーで線引きあり 小口汚れあり 戸田山和久 著

      数学基礎論 増補版 新井敏康 著

      数学基礎論 前原昭二 著

      数学基礎論入門 前原昭二 著

      Introduction to Metamathematics by Stephen Cole Kleene

      Proof Theory 2nd edition by Gaisi Takeuti

      Model Theory for Beginners by Roman Kossak

      Model Theory 3rd edition by Chen Chung Chang

      The Lambda Calculus, its Syntax and Semantics by Henk Barendregt

      Type Theory and Formal Proof: An Introduction by Rob Nederpelt Herman Geuvers
      決済方法 VISA, MasterCard, AMEX, JCB card, PayPal, LINE Pay, PayPay, コンビニ決済, Suica決済, あと払い(ペイディ), 銀行振り込み, ネットバンキング, Qサイフ
      A/S情報 A/Sセンターおよびメーカーまたは販売者にご連絡ください。
      返品/交換 商品ページ上の詳細やお知らせ・ご注意を参考してください。
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      型の理論入門 ( 論理学入門 III ) | MaruLabo
      計算理論の基礎 [原著第3版] 3.複雑さの理論 - 共立出版
      計算論 計算可能性とラムダ計算 | 近代科学社
      「計算の仕組み 〜オートマトンからラムダ計算まで〜」 関山 太朗 - 国立情報学研究所 2020年度 市民講座 第3回
      論理学入門 II -- ラムダ計算と関数型言語 | MaruLabo
      計算論の講義の文献案内
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      数理論理学とラムダ計算の世界(PDF版) - nikosai - BOOTH
      計算理論と数理論理学 - 共立出版
      計算理論と数理論理学 - 共立出版
      現代基礎数学 数理論理学 |朝倉書店
      Modegramming Style: 関数型プログラミング技術マップ2015
      数理論理学 (現代基礎数学 15) | 鹿島 亮 |本 | 通販 | Amazon
      • 商品満足度

        4.6 5
      • 採点分布

        • 5つ★
          84%
        • 4つ★
          7%
        • 3つ★
          9%
        • 2つ★
          0%
        • 1つ★
          0%

      項目別評価

      つけ心地

      満足です

      100%
      発色の良さ

      満足です

      90%
      盛れ感

      満足です

      93%
      つけ心地
      満足です
      100%
      イマイチ
      0%
      発色の良さ
      満足です
      90%
      イマイチ
      10%
      盛れ感
      満足です
      93%
      イマイチ
      7%
      • 5 5

        誕生日プレゼントと一緒に妻へ送りました。
        とても可愛いらしくて喜んでもらいました!
        ありがとうございました。

      • 5 5

        もう大満足です!下の子が2歳に近づくにつれゆっくり自分のお洋服も選べず・・今回は以前の注文の時より細かく要望を記入しました。商品は箱を開けてみてびっくり!全部私好みの商品でした すごく嬉しいのと店長さんのお心遣いに感謝です。おまけも愛情を感じます!アンパンマンの折り紙も入っていて下の子は大喜びでした。今泉さんどうもありがとうございます。お試しセットもかわいく暖かそう!嬉しいです!

      • 5 5

        まだ未使用ですが、すぐに届きました!
        コンパクトで良さげです!
        強度がどうかな?そこだけ気になります。

      • 4 5

        本当はBIGサイズじゃなきゃダメかなと思ってましたがワンサイズ下でもすっぽり入りました。
        持っていた帽子が厚手だったので、これから暑くなる季節に涼しく過ごせそうです。

      • 5 5

        233590-20161126-0121300160
        黒を通勤用として購入。ソールも特に問題なく普通に通勤用として履いています。お値段もお手頃でいい買い物が出来ました。

      • 5 5

        クリアで清潔感がありお勧めです☆
        使いやすく、水切りはとても大切です♪

      • 4 5

        速く届き、生地もしっかりしていて良かったです。花柄ピンク系を選択し実物は画像よりワントーン落ち着いた感じでしたが丁度良かったです、
        お値段以上の商品と思います。

      • 5 5

        注文後、商品がすぐ届きました。
        まだ着手していませんが、
        キッチンを模様替えの予定です。
        綺麗な木目調です。
        楽しみです。

      • 5 5

        まず、購入後の対応が良く安心できました。
        そして商品もしっかりしていて良さそうです。ヘタリ具合は使ってみないと分かりませんが、高さもあり楽に座れます。丁度良いのが見つかって良かったです。

      • 5 5

        発送早かったです!2.3日後には届きました!なにも問題なくはそう通りでした!

      ショップお気に入り割引
      ショップをお気に入り登録した後、
      クーポンを獲得することができます。
      パスワード入力
      パスワードの入力が必要なクーポンです。
      パスワードを入力してください。
      ショップお気に入り割引
      ショップをお気に入り登録した後、
      クーポンを獲得することができます。
      ショップお気に入り割引
      ショップをお気に入り登録すると
      100円割引されます!