Baaz, Matthias books & textbook
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science, 2514)
Baaz, Matthias Voronkov, Andrei
Springer /2002-10-02 Paperback / 484 Pages
isbn-10: 3540000100 / isbn-13: 9783540000105
Logic Colloquium '01 (Lecture Notes in Logic, 20)
Friedman, Sy-David Krajícek, Jan Baaz, Matthias
A K Peters/CRC Press /2005-07-03 Paperback / 494 Pages
isbn-10: 1568812485 / isbn-13: 9781568812489
Kurt Godel and the Foundations of Mathematics: Horizons Of Truth
Cambridge University Press /2014-03-27 Paperback / 540 Pages
isbn-10: 1107677998 / isbn-13: 9781107677999
Methods of Cut-Elimination (Trends in Logic, 34)
Baaz, Matthias Leitsch, Alexander
Springer /2013-02-25 Paperback / 296 Pages
isbn-10: 9400734972 / isbn-13: 9789400734975
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, ... (Lecture Notes in Computer Science, 2803)
Baaz, Matthias Makowsky, Johann M.
Springer /2003-08-18 Paperback / 608 Pages
isbn-10: 3540408010 / isbn-13: 9783540408017
Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic
College Publications /2018-01-18 Paperback / 454 Pages
isbn-10: 1848902689 / isbn-13: 9781848902688
Logic Colloquium '01: Lecture Notes In Logic, 20
Baaz, Matthias Friedman, Sy-David Krajícek, Jan
A K Peters/CRC Press /2005-03-07 Hardcover / 504 Pages
isbn-10: 1568812477 / isbn-13: 9781568812472
