ゲーデル ノ ニジッセイキ
ゲーデルの20世紀
(ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 1)
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 東京大学出版会 |
| 出版年 | 2006.7 |
| 大きさ | 228p ; 22cm |
書誌詳細を非表示
| 内容注記 | 文献:部末 |
|---|---|
| 著者標目 | 田中, 一之 <タナカ,カズユキ> |
| 件 名 | 数学基礎論--歴史 記号論理学--歴史 |
| 分 類 | NDC:411 |
| 書誌ID | 1001311278 |
| ISBN | 413064095X |
| URL1 | http://www.utp.or.jp/booksearch/cgi/isbn.cgi?isbn=ISBN4-13-064095-X |