資料詳細

  • 1 件中、 1 件目

【図書】 現代論理学

新装版 --
安井邦夫 ／著   -- 世界思想社 -- ２０２１．４ -- ２１ｃｍ -- ２１５ｐ

資料詳細

タイトル 現代論理学
版情報 新装版
著者名等 安井邦夫 ／著  
出版 世界思想社 ２０２１．４
大きさ等 ２１ｃｍ ２１５ｐ
分類 410.96
件名 論理学
注記 文献あり　索引あり
著者紹介 １９７０年　京都大学大学院文学研究科博士課程修了。専攻　哲学。現在　京都大学名誉教授。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次 第１章　命題論理学（トートロジー；自然推論；公理系）；第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）；第３章　形式的数論（形式的数論Ｚ；Ｚの定理　その１；Ｚの定理　その２；数論的関係と関数の表現可能性）；第４章　帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）；第５章　不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）
ISBN(13)、ISBN 978-4-7907-1755-3　　 4-7907-1755-0
書誌番号 1113868551
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113868551

ページの先頭へ

所蔵

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

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

ページの先頭へ