記号論理学

山本新／著　入江俊夫／著　田村高幸／著

発売日：2023年11月

  • 記号論理学
  • 記号論理学
ページ数
２２１ｐ
ISBN
978-4-254-50038-7
著者情報
山本　新（ヤマモト　シン）
１９４９年岡山県に生まれる。１９８２年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任

入江　俊夫（イリエ　トシオ）
１９７０年栃木県に生まれる。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士（文学）

田村　高幸（タムラ　タカユキ）
１９６２年東京都に生まれる。現在、千葉大学大学院社会科学研究院助教。博士（理学）

¥3,520 税込

16 nanacoポイント

ポイントについて

16 セブンマイル

マイルについて

セブン-イレブン受取り(送料無料)

発送目安

発売日（発売日以降は当日）～2日で発送

宅配（送料¥550税込）

発送目安

発売日（発売日以降は当日）～2日で発送

交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。

発送目安について

商品説明

目次

第１章　論理学とはなにか（正しい推論
対象言語とメタ言語
公理体系）
第２章　命題論理（命題の記号化
論理式　ほか）
第３章　述語論理（命題の記号化
限量記号の用法　ほか）
第４章　様相論理（様相命題論理
意味論
健全性
完全性
決定可能性
様相述語論理
意味論
健全性
完全性）
第５章　直観主義論理（直観主義命題論理
意味論
健全性
完全性
決定可能性
直観主義述語論理
意味論
健全性
完全性）
補論１　ゲンツェンの論理体系
補論２　様相論理への補論
補論３　線形論理について

商品詳細

出版社名
朝倉書店
サイズ
２１ｃｍ
フォーマット
単行本

注意事項

本の帯に関して
帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。
版・表紙について
版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。

あなたへのおすすめ