Record:   Prev Next
作者 Gödel '96 (1996 : Brno, Czech Republic)
書名 Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings / Petr Hájek (ed.)
出版項 Berlin ; New York : Springer, c1996
國際標準書號 3540614346 (softcover : acid-free paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 G6 1996    在架上    30340200364960
說明 viii, 322 p. : ill. ; 24 cm
系列 Lecture notes in logic ; 6
附註 Includes bibliographical references
主題 Logic, Symbolic and mathematical -- Congresses
Mathematics -- Philosophy -- Congresses
Computer science -- Congresses
Mathematical physics -- Congresses
Alt Author Hájek, Petr
Alt Title Logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Record:   Prev Next