資料詳細

ゲーデルと２０世紀の論理学（ロジック）２完全性定理とモデル理論貸出可

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

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
久喜	貸閲公開	/410.9/ｹﾃ/	101813913	一般和書	帯出可	在館中

※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。

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

タイトル	ゲーデルと２０世紀の論理学（ロジック）２
書名カナ	ゲーデル　ト　ニジッセイキ　ノ　ロジック０００２００
著者	田中一之／編
著者カナ	タナカ，カズユキ
巻の書名	完全性定理とモデル理論
出版者	東京大学出版会
出版年	２００６．１０
ページ数	２８６ｐ
大きさ	２２ｃｍ
一般件名	数学基礎論
NDC分類(9版)	410.9
内容紹介	ゲーデルが最初に証明した重要定理は、１階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。
ISBN	4-13-064096-8
特定資料種別	一般和書