Goedel'96 : : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy - Hagek, Petr (Lecture Notes in Logic ;, 1996)