Gödel '96
Subtitle: logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings
By: Petr Hájek (ed.).
Contributors: Hájek, Petr.
Series: Lecture notes in logic ;; 6
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 322
Subjects: Logic, Symbolic and mathematical -- Congresses.; Mathematics -- Philosophy -- Congresses.; Computer science -- Congresses.; Mathematical physics -- Congresses.
Other titles: Logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Notes: Includes bibliographical references.