国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 完全性定理とモデル理論
書誌情報:完全性定理とモデル理論
カンゼンセイ テイリ ト モデル リロン
田中一之編
東京 : 東京大学出版会 , 2006.10
xii, 286p : 肖像, 挿図 ; 22cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
0
中央2階
410.9
G 31
2
00805077
利用可
一般
選択行を:
書誌詳細
刊年
2006
形態
xii, 286p : 肖像, 挿図 ; 22cm
別書名
Completeness theorem and model theory
シリーズ名
ゲーデルと20世紀の論理学 (ロジック)
; 2
注記
欧文タイトルは標題紙裏による
参考文献: 各部末
出版国
日本
標題言語
日本語
本文言語
日本語
著者情報
田中, 一之
(タナカ, カズユキ)
分類
NDC8:410.9
NDC9:410.9
ISBN
4130640968
件名
BSH:Gödel,Kurt
BSH:数学基礎論 -- 歴史
BSH:記号論理学 -- 歴史
BSH:モデルの理論
NCID
BA78934027
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。