資料詳細

【図書】ゲーデルと２０世紀の論理学（ロジック）２完全性定理とモデル理論

田中　一之　編 -- 東京大学出版会 -- ２００６．１０ -- 410.9

所蔵

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

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
105244222	/410.9/15/2	県立図書館	一般開架	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	ゲーデルと２０世紀の論理学（ロジック）２
著者	田中　一之　編
出版者	東京　東京大学出版会
出版年	２００６．１０
ページ数	２８６ｐ
大きさ	２２ｃｍ
巻の書名	完全性定理とモデル理論
内容細目注記	文献：部末
一般件名	数学基礎論－歴史 , 記号論理学 , モデルの理論
NDC分類	410.9
内容紹介	ゲーデルの仕事を基点に２０世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第２巻ではゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から立体的に解説する。
ISBN	4-13-064096-8
本体価格	￥３８００