資料詳細

  • 1 件中、 1 件目

【図書】 自然な推論のための論理学

大出晁 ／著   -- 勁草書房 -- １９９１．１ -- ２２ｃｍ -- ２５１ｐ

資料詳細

タイトル 自然な推論のための論理学
著者名等 大出晁 ／著  
出版 勁草書房 １９９１．１
大きさ等 ２２ｃｍ ２５１ｐ
分類 116
件名 論理学
内容 参考文献：ｐ２３７－２３８
要旨 日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。
目次 第１章　推論とは（論理の目覚め；論理学の誕生；推論の構造）；第２章　文を単位とする推論（推論の表わし方；推論の規則；排中律について；文の真・偽と推論規則；直観主義・古典論理のモデル；推論規則の応用例）；第３章　文の内部に立ち入る推論（文の内部構造；推論規則の使い方；モデルとタブロー；妥当性と健全性；完全性；集合論とその推論の例）；付録（他の論理系との関連；タブローの基本定理；量子論理その他；メタ定理の証明法についてのコメント）
ISBN(13)、ISBN 　　 4326100877
書誌番号 1190371247
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190371247

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 116/44 一般書 利用可 - 0004328787 iLisvirtual

ページの先頭へ