Matthias Baaz
Matthias Baaz
4 books in the database
Books
Kurt Gödel and the foundations of mathematicsMatthias Baaz
Kurt Gödel and the foundations of mathematics
Matthias Baaz · 2011
Logic for programming, artificial intelligence, and reasoningMatthias Baaz
Logic for programming, artificial intelligence, and reasoning
Matthias Baaz · 2002
Computer science logicMatthias Baaz
Computer science logic
Matthias Baaz · 2003
Kurt Godel and the Foundations of MathematicsMatthias Baaz
Kurt Godel and the Foundations of Mathematics
Matthias Baaz · 2011
Co-authored books and collections
Books that list Matthias Baaz among their authors but not as the lead author: co-written works, collections and compilations.
