資料詳細

  • 1 件中、 1 件目

【図書】 記号論理学

山本新 ／著, 入江俊夫 ／著, 田村高幸 ／著   -- 朝倉書店 -- ２０２３．１１ -- ２１ｃｍ -- ２２１ｐ

資料詳細

タイトル 記号論理学
著者名等 山本新 ／著, 入江俊夫 ／著, 田村高幸 ／著  
出版 朝倉書店 ２０２３．１１
大きさ等 ２１ｃｍ ２２１ｐ
分類 410.96
件名 記号論理学
注記 文献あり　索引あり
著者紹介 【山本新】１９４９年、岡山県に生まれる。１９８２年、東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任。著書に『数学基礎論』（高文堂出版社）などがある。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次 第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）；第２章　命題論理（命題の記号化；論理式　ほか）；第３章　述語論理（命題の記号化；限量記号の用法　ほか）；第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）；第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）；補論１　ゲンツェンの論理体系；補論２　様相論理への補論；補論３　線形論理について
ISBN(13)、ISBN 978-4-254-50038-7　　 4-254-50038-6
書誌番号 1122094698
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1122094698

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 410.9 一般書 貸出中 - 2076596789 iLisvirtual

ページの先頭へ