カンゼンセイ テイリ ト モデル リロン
完全性定理とモデル理論
(ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 2)
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 東京大学出版会 |
| 出版年 | 2006.10 |
| 大きさ | 286p ; 22cm |
所蔵情報を非表示
| 巻 次 | 配架場所 | 自動書庫 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 予約 | コース・リザーブ |
|---|---|---|---|---|---|---|---|---|---|---|
| ２ | GF:BOOK.SHELF | 411/G562/v.2 | 06550181 |
|
4130640968 |
|
|
|||
| ２ | ASRS | 411/G562/v.2/c.2 | 06561605 |
|
4130640968 |
|
|
書誌詳細を非表示
| 内容注記 | 文献:部末 |
|---|---|
| 著者標目 | 田中, 一之 <タナカ,カズユキ> |
| 件 名 | 数学基礎論--歴史 記号論理学 モデルの理論 |
| 分 類 | NDC:411 |
| 書誌ID | 1001312935 |
| ISBN | 4130640968 |
| URL1 | http://www.utp.or.jp/booksearch/cgi/isbn.cgi?isbn=ISBN4-13-064096-8 |