Matthias Baaz – författare

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Logic Colloquium '01

Lecture Notes In Logic, 20

Logic Colloquium '01

Lecture Notes In Logic, 20

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 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

Methods of Cut-Elimination