Communiqués par Matthias Baaz

En stock chez iMusic Montrer les articles indisponibles

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

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

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

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

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

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 (Paperback Book) (2003)

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