論理学 意味とモデルの理論
発売日：1999年6月
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
情報科学の基礎として、またそれ以外の目的でも論理学を初めて学ぼうとされている方を対象に執筆。解釈が容易であるという点で、もっとも直観的に理解できると思われるセマンティックタブローの体系を出発点とし、他の体系との関連を考慮しながら議論を展開。その中でもセマンティックタブロー体系、Ｇ体系、ＬＫ体系の関係が強調されている。
目次
序 対象言語とメタ言語
第１章 命題論理
第２章 一階の述語論理
第３章 等号関係をもつ一階の述語論理
第４章 直観主義の論理（ＩＧ体系）
第５章 様相命題論理
第６章 嘘つきのパラドックスと論理
商品詳細
- シリーズ名
- 人文・社会科学セミナー
- 出版社名
- 東京電機大学出版局
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
