資料詳細

  • 1 件中、 1 件目

日本の活断層総覧 　 貸出中

宮内　崇裕／編 -- 東京大学出版会 -- ２０２５．１２ -- 454.4

  • 総合評価
    5段階評価の0.0
    (0)
  

所蔵

所蔵は 1 件です。予約は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
中央 9辞書 R/454.4/みや/ 180503762W 一般書 禁帯 利用可 iLisvirtual

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
中央 1 0 0

ページの先頭へ

資料詳細

タイトル ゲーデルと２０世紀の論理学（ロジック）
巻次 ２
巻名 完全性定理とモデル理論
著者名 田中　一之 ／編  
出版者 東京大学出版会
出版年 ２００６．１０
ページ数等 ２８６ｐ
大きさ ２２ｃｍ
分類(9版) 410.9  
分類(10版) 410.9  
内容紹介 ゲーデルの仕事を基点に２０世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第２巻ではゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から立体的に解説する。
著者紹介 〈田中一之〉１９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．。著書に「数の体系と超準モデル」など。 
内容注記 文献：部末
テーマ 数学基礎論－歴史 , 記号論理学 , モデルの理論  
ISBN 4-13-064096-8 国立国会図書館 カーリル GoogleBooks
定価 ￥３８００
本体価格 ￥３８００
特定資料種別 図書
URL https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1102833891

ページの先頭へ