Gödel '96 : : Logical Foundations of Mathematics, Computer Science and Physics-Kurt Gödel's Legacy. Bruno, Czech Republic August 1996. Proceeedings - GÖDEL '96 (Lecture Notes in Logic, 1996)