資料詳細

  • 1 件中、 1 件目

ゲーデルと２０世紀の論理学 ２ 貸出中

田中一之／編 -- 東京大学出版会 -- 2006.10

タグ

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
一般資料 410.9 /ｹｴ/2 00109696319 図書 貸出可 貸出中 iLisvirtual

ページの先頭へ

資料詳細

マーク種別 JPマーク
マーク番号 21144631
書名 ゲーデルと２０世紀の論理学
書名ヨミ ｹﾞｰﾃﾞﾙﾄ ﾆｼﾞｯｾｲｷﾉ ﾛｼﾞｯｸ
著者名 田中一之 ／編  
著者名ヨミ ﾀﾅｶ ｶｽﾞﾕｷ  
巻次 ２
出版地 東京
出版者 東京大学出版会
出版年 2006.10
頁数・図版 ２８６ｐ
大きさ ２２ｃｍ
巻の書名 完全性定理とモデル理論
一般注記 文献あり　索引あり
ISBN 4-13-064096-8 国立国会図書館 カーリル GoogleBooks WebcatPlus
本体価格 ３８００円
NDC分類(8版) 410.9
NDC分類(9版) 410.9
件名 ゲーデルの定理
内容紹介 ゲーデルが最初に証明した重要定理は、１階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。
著者紹介 １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義：不完全性定理とその発展」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」など。

ページの先頭へ

※内容紹介、著者紹介は（株）日販図書館サービスおよび
（株）トーハンのデータです。