Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics (Lecture Notes in Logic 6)