Buy Used and New Matthias Baaz Books

Kurt Godel and the Foundations of Mathematics: Horizons Of Truth

by Matthias Baaz

ISBN 13: 9781107677999

Format: Illustrated (540 pages)
Publisher: Cambridge University Press
Published: 27 Mar 2014

Save for later

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... 2803 (Lecture Notes in Computer Science)

by Johann M. Makowsky,Matthias Baaz

ISBN 13: 9783540408017

Format: Paperback (608 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science)

by Matthias Baaz, Andrei Voronkov

ISBN 13: 9783540000105

Format: Paperback (484 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Methods of Cut-Elimination: 34 (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400734975

Format: Paperback (296 pages)
Publisher: Springer
Published: 25 Feb 2013

Save for later

Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic

by Matthias Baaz

ISBN 13: 9781848902688

Format: Paperback (454 pages)
Publisher: College Publications
Published: 18 Jan 2018

Save for later