Reading Length
Home
Speed Tests
Login
Matthias Baaz
Identifiers
Open Library
OL3064484A
Top Subjects
Mathematics (1)
Congresses (1)
Logic (1)
Science/Mathematics (1)
Logic, Symbolic and mathematical (1)
Logic, Symbolic and mathematic (1)
Mathematical logic (1)
Books by Matthias Baaz
Total count: 6
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
Springer London, Limited
2003-01-01
Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Springer
2003-01-01
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)
AK Peters, Ltd.
2005-03-01
Kurt Gödel and the Foundations of Mathematics
Horizons of Truth
Cambridge University Press
2011-01-01
Kurt Godel and the Foundations of Mathematics
Horizons of Truth
Cambridge University Press
2011-01-01
Methods of Cut-Elimination
Springer
2011-04-08
