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

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

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

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

    ゆうメール - 無料

    発送日
    本日決済で02月18日以内に発送
  • 数量
    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センターおよびメーカーまたは販売者にご連絡ください。
      返品/交換 商品ページ上の詳細やお知らせ・ご注意を参考してください。
      計算理論と数理論理学 - 共立出版
      数学における証明と真理: 様相論理と数学基礎論

      型の理論入門 ( 論理学入門 III ) | MaruLabo
      計算理論の基礎 [原著第3版] 3.複雑さの理論 - 共立出版
      型の理論入門 ( 論理学入門 III ) | MaruLabo
      数理論理学とラムダ計算の世界(PDF版) - nikosai - BOOTH
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      計算論の講義の文献案内
      計算理論と数理論理学 - 共立出版
      計算論の講義の文献案内 - YouTube
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      ラムダ計算に基づくプログラミング言語のモデル (プログラミング言語のモデル第10回 プログラミング言語の基礎理論シリーズ)
      計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) | 高橋 正子 |本 | 通販 | Amazon
      • 商品満足度

        4.7 5
      • 採点分布

        • 5つ★
          82%
        • 4つ★
          10%
        • 3つ★
          8%
        • 2つ★
          0%
        • 1つ★
          0%

      項目別評価

      つけ心地

      満足です

      96%
      発色の良さ

      満足です

      92%
      盛れ感

      満足です

      97%
      つけ心地
      満足です
      96%
      イマイチ
      4%
      発色の良さ
      満足です
      92%
      イマイチ
      8%
      盛れ感
      満足です
      97%
      イマイチ
      3%
      • 5 5

        170cmガッチリ体型です。
        13号のパンツスーツを持っているので13号を購入。
        薄くて軽くてこの季節にはもってこいです。サイズもぴったりでした。パンツが若干ぴっちりですが、夏に向けて鍛える予定なので大丈夫。また、パンツ丈が若干短いですが許容範囲です。
        以前他のネットショップにて1万円スーツを購入しましたが、こちらの方がコスパいいですね。仕立ても問題なさそうです。
        ただ、パンツについていた青のタグが不要です。目印でつけてるのでしょうが、であればもっと仕付け糸を緩めにつけてすぐ外せるようにしていただきたいです。

      • 5 5

        仕事てポロシャツの下に着るため購入。
        スポーツタイプのピッタリや冷感は苦手なので
        こちらは理想でした。

      • 5 5

        1300wの予想以上のパワーを感じました。折り畳めるので収納しやすいです。外箱がしっかりしていて高級感あります。買ってよかったです。

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