資料詳細

  • 1 件中、 1 件目

記号論理学 利用可

山本　新／著 -- 朝倉書店 -- 2023.11 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/ﾔﾏﾓ/一般 122425724 一般 利用可

ページの先頭へ

資料詳細

タイトル 記号論理学
書名ヨミ キゴウ　ロンリガク
著者名 山本　新 ／著, 入江　俊夫 ／著, 田村　高幸 ／著  
著者ヨミ ヤマモト，シン , イリエ，トシオ , タムラ，タカユキ  
出版者 朝倉書店  
出版年 2023.11
ページ数等 ２２１ｐ
大きさ ２１ｃｍ
一般件名 記号論理学  
ISBN 4-254-50038-6
ISBN13桁 978-4-254-50038-7
定価 ３２００円
問合わせ番号（書誌番号） 1120573964
NDC8版 410.96
NDC9版 410.96
NDC10版 410.96
著者紹介 【山本新】１９４９年、岡山県に生まれる。１９８２年、東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任。著書に『数学基礎論』（高文堂出版社）などがある。（本データはこの書籍が刊行された当時に掲載されていたものです） 
著者紹介 【入江俊夫】１９７０年、栃木県に生まれる。２０１４年、千葉大学大学院社会文化科学研究科博士課程修了。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士（文学）。著書に『これからのウィトゲンシュタイン』（分担執筆：第５章「概念形成へのまなざし―ウィトゲンシュタインの言語観と数学の哲学―」、リベルタス出版）。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

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

ページの先頭へ