検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 完全性定理とモデル理論
書誌情報:完全性定理とモデル理論
カンゼンセイ テイリ ト モデル リロン
田中一之編
東京 : 東京大学出版会 , 2006.10
xii, 286p : 肖像, 挿図 ; 22cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央２階
  • 410.9
  • G 31
  • 2
00805077 利用可
一般 

選択行を：  

書誌詳細
刊年2006
形態xii, 286p : 肖像, 挿図 ; 22cm
別書名Completeness theorem and model theory
シリーズ名ゲーデルと20世紀の論理学 (ロジック) ; 2
注記欧文タイトルは標題紙裏による
参考文献: 各部末
出版国日本
標題言語日本語
本文言語日本語
著者情報田中, 一之 (タナカ, カズユキ)
分類NDC8:410.9
NDC9:410.9
ISBN4130640968
件名BSH:Gödel,Kurt
BSH:数学基礎論 -- 歴史
BSH:記号論理学 -- 歴史
BSH:モデルの理論
NCIDBA78934027

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ