資料詳細

  • 1 件中、 1 件目

【図書】 現代論理学

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

資料詳細

タイトル 現代論理学
著者名等 安井邦夫 ／著  
出版 世界思想社 １９９１．４
大きさ等 ２２ｃｍ ２１５ｐ
分類 410.96
件名 記号論理学
内容 参考文献：ｐ２１１－２１２
要旨 本書は現代論理学における基本的なトピックをえらび、それを概説したもので、内容的にはＧ¨ｏｄｅｌの不完全定理までを含んでいる。
目次 第１章　命題論理学（トートロジー；自然推論；公理系）；第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）；第３章　形式的数論；第４章　帰納的関数；第５章　不完全性定理
ISBN(13)、ISBN 　　 4790703975
書誌番号 1190370910

ページの先頭へ

所蔵

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

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

ページの先頭へ