Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics