Conference Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (1996 : Brünn)