Matthias Baazのリリース

すべて5
Hardcover Book2
Paperback Book3

iMusicに在庫あり在庫なし商品を表示

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 · Kurt Godel and the Foundations of Mathematics: Horizons of Truth (Hardcover Book) (2011)

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

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)