Matthias Baaz

• Kurt Gödel and the foundations of mathematics
• Computer science logic
• Computer science logic
• Kurt Gödel and the Foundations of Mathematics
• Logic Colloquium '01
• Logic for programming, artificial intelligence, and reasoning
• Kurt Godel and the Foundations of Mathematics