Matthias Baaz

No bio available. Add one in Open Library.

Books by Matthias Baaz (50 max)

+ shelf+ list

Kurt Gödel and the foundations of mathematics horizons of truth

2011

Matthias Baaz

+ shelf+ list

Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Vienna, Austria, August 6-11, 2 ... Notes in Logic) (Lecture Notes in Logic)

2005

Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek, Austria) Logic Colloquium (2001 Vienna

+ shelf+ list

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science)

2002

Matthias Baaz, Andrei Voronkov

+ shelf+ list

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, ... (Lecture Notes in Computer Science)

2003

Matthias Baaz

+ shelf+ list

Computer science logic: 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

2003

Matthias Baaz

+ shelf+ list

Kurt Godel and the Foundations of Mathematics Horizons of Truth

2011

Matthias Baaz, Christos H. Papadimitriou, Dana S. Scott