資料詳細

  • 1 件中、 1 件目

【図書】 証明論入門

竹内外史，八杉満利子 ／共著, 　   -- 共立出版 -- １９８８．２ -- ２２ｃｍ -- １９１ｐ

資料詳細

タイトル 証明論入門
著者名等 竹内外史，八杉満利子 ／共著, 　  
出版 共立出版 １９８８．２
大きさ等 ２２ｃｍ １９１ｐ
分類 410.9
件名 数学基礎論
注記 『数学基礎論』の改題改訂
内容 文献：ｐ１８６～１８７
目次 第１章　証明の形式化（命題の形式化；ＬＫの基本定理）；第２章　自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備）；第３章　自然数論の無矛盾性―Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論〔ＨＡ〕への翻訳；種々な理論の間の相互関係）；第４章　二階論理（二階論理の意味と問題；実数論の無矛盾性問題；二階の体系の証明論）；第５章　最近の話題
ISBN(13)、ISBN 　　 4-320-01406-5
書誌番号 1190270154

ページの先頭へ

所蔵

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

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

ページの先頭へ