Matthias Baaz
Matthias Baaz
4 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Matthias Baaz מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
