Matthias Baaz · 6 obras en el catálogoObrasLogic Colloquium '012005Kurt Gödel and the foundations of mathematicsLogic for programming, artificial intelligence, and reasoningComputer science logicComputer science logicKKurt Godel and the Foundations of MathematicsKurt Godel and the Foundations of Mathematics