Matthias Baaz profile picture

Matthias Baaz

Is this your author profile? Create an account to customize it!

Stand Alone

Kurt Gödel and the foundations of mathematics
Logic for programming, artificial intelligence, and reasoning
Computer science logic
Computer Science Logic
Kurt Gödel and the Foundations of Mathematics
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Kurt Godel and the Foundations of Mathematics: Horizons of Truth
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Matthias Baaz — Books & Biography | Menrva Books | MenrvaBooks