文系のための記号論理入門―命題論理から不完全性定理まで

個数:

文系のための記号論理入門―命題論理から不完全性定理まで

  • ウェブストアに2冊在庫がございます。(2024年04月26日 23時11分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 210p/高さ 22cm
  • 商品コード 9784254500349
  • NDC分類 116.3
  • Cコード C3030

目次

第1部 命題論理の構文論
第2部 命題論理の意味論
第3部 メタ論理
第4部 述語論理の構文論
第5部 反証図
第6部 述語論理の意味論
第7部 応用と実践
第8部 完全性定理
第9部 健全性定理
第10部 不完全性定理
付録

著者等紹介

金子裕介[カネコユウスケ]
2009年東京大学大学院人文社会系研究科博士課程修了。現在、明治大学商学部兼任講師。博士(文学)(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。