Mendeley出力
＜図書＞
完全性定理とモデル理論
カンゼンセイ テイリ ト モデル リロン
| 責任表示 | 田中一之編 |
|---|---|
| シリーズ | ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2 |
| データ種別 | 図書 |
| 出版情報 | 東京 : 東京大学出版会 , 2006.10 |
| 本文言語 | 日本語 |
| 大きさ | xii, 286p : 挿図, 肖像 ; 22cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 4A | 410.9/Ta 84 | 2006 |
|
058112006075321 |
|
|||
|
|
|
理系図1F 開架 | 410.9/Ta 84 | 2006 |
|
003112006032715 |
|
|||
|
|
|
理系図3F 数理独自 | TANA/30/3-2 | 2006 |
|
023112009000335 |
|
|||
|
|
|
理系図3F 数理独自 | TANA/30/3-2A | 2011 |
|
130012019001961 |
|
|||
|
|
|
文 研究室 | 哲学/601/1101 | 2006 |
|
021112011021646 |
|
書誌詳細
| 別書名 | その他のタイトル:Completeness theorem and model theory |
|---|---|
| 一般注記 | 欧文タイトルは標題紙裏による 参考文献: 各部末 |
| 著者標目 | 田中, 一之 <タナカ, カズユキ> |
| 件 名 | BSH:Gödel, Kurt BSH:数学基礎論 -- 歴史 全ての件名で検索 BSH:記号論理学 -- 歴史 全ての件名で検索 BSH:モデルの理論 |
| 分 類 | NDC8:410.9 NDC9:410.9 |
| 書誌ID | 1001216882 |
| ISBN | 9784130640961 |
| NCID | BA78934027 |
| 巻冊次 | ISBN:9784130640961 ; PRICE:3800円+税 ; XISBN:4130640968 |
| 登録日 | 2009.09.18 |
| 更新日 | 2019.05.17 |