検索条件入力
>
書誌詳細
>
関連資料一覧:(本学所蔵)
>
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 を見る
所蔵一覧
|