Releases von Matthias Baaz

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Matthias Baaz · Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic (Taschenbuch) (2018)

Ifcolog Journal of Logics and th... (2018)

Cover for Matthias Baaz · Methods of Cut-elimination - Trends in Logic (Taschenbuch) (2013)

Methods of Cut-elimination - Tre... (2013)

Cover for Matthias Baaz · Methods of Cut-Elimination - Trends in Logic (Gebundenes Buch) (2011)

Gebundenes Buch

Methods of Cut-Elimination - Tre... (2011)

Cover for Matthias Baaz · Computer Science Logic: 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Godel Colloquium, Kgc 2003, Vienna, Austria, August 25-30, 2003, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2003)

Computer Science Logic: 17th Int... (2003)