検索条件入力
＞
検索結果一覧：（本学所蔵）
＞
Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings
書誌詳細
|
| NCID | BA28243625 |
| タイトル | Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings / Petr Hájek (ed.) |
| 出版者 | Berlin ; New York ; Tokyo : Springer , c1996 |
| 形態 | viii, 322 p. ; 24 cm |
| 注記 | Includes bibliographical references and index |
| シリーズ名 | Lecture notes in logic ; 6
|
| 分類 | LCC:QA9.A1
DC20:511.3 |
| 件名 | LCSH:Logic,Symbolicandmathematical -- Congresses
LCSH:Mathematics -- Philosophy -- Congresses
LCSH:Computerscience -- Congresses
LCSH:Mathematicalphysics -- Congresses
|
| 著者情報 | Gödel '96 (1996 : Brno, Czech Republic)
Hájek, Petr
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 3540614346
|
| 番号 | LCCN : 96026784 |
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
|