Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legac

書誌事項

Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legac

Edited by Petr Hájek

(Lecture notes in logic, 6)

CRC Press, c1996

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references and index

"Originally published : Berlin : Springer-Verlag, 1996."--T.p. verso

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ