Matthias Baaz

Baaz, Matthias · M B

titlemedia type ISBN-13year of publica-
tion
other author(s)
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... Notes in Computer Science, Band 2803)Taschenbuch
978-3-540-40801-72008Johann M. Makowsky
Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in LogicPaperback
978-1-84890-268-82018
Kurt Godel and the Foundations of Mathematics: Horizons Of Truth   "
978-1-107-67799-92014
Kurt Gödel and the Foundations of Mathematics: Horizons of TruthPrinted Access Code
978-0-511-97423-62011Christos H. Papadimitriou · Hilary W. Putnam · Dana S. Scott · Charles L. Harper Jr
Kurt Gödel and the Foundations of Mathematics: Horizons of TruthHardcover
978-0-521-76144-42011Christos H. Papadimitriou · Hilary W. Putnam · Dana S. Scott · Charles L. Harper Jr
Logic Colloquium '01Digital
978-1-108-69544-22020Sy-David Friedman · Jan Krajíček
Logic Colloquium '01: Lecture Notes In Logic, 20Hardcover
978-1-56881-247-22005Sy-David Friedman · Jan Krajícek
Logic Colloquium '01: Lecture Notes In Logic, 20Paperback
978-1-56881-248-92005Sy-David Friedman · Jan Krajícek
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ProceedingsTaschenbuch
978-3-540-00010-52009Andrei Voronkov
Methods of Cut-EliminationHardcover 978-94-007-0319-32011Alexander Leitsch
Methods of Cut-EliminationPaperback 978-94-007-0321-62011   "

A K Peters/CRC Press · Cambridge University Press · College Publications · Springer

 

Matthias Bach