Inbunden Bok Pocketbok
Visa slutsålda utgivelser

Releases med Matthias Baaz

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

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

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

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

Cover for Matthias Baaz · Kurt Godel and the Foundations of Mathematics: Horizons of Truth (Inbunden Bok) (2011)

Kurt Godel and the Foundations o... (2011)

Cover for Matthias Baaz · Methods of Cut-Elimination - Trends in Logic (Inbunden Bok) (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 (Pocketbok) (2003)

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