| title | media type | | ISBN-13 | year 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-7 | 2008 | Johann M. Makowsky |
| Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic | Paperback | | 978-1-84890-268-8 | 2018 |
| Kurt Godel and the Foundations of Mathematics: Horizons Of Truth | " | | 978-1-107-67799-9 | 2014 |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Printed Access Code | | 978-0-511-97423-6 | 2011 | Christos H. Papadimitriou · Hilary W. Putnam · Dana S. Scott · Charles L. Harper Jr |
| Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Hardcover | | 978-0-521-76144-4 | 2011 | Christos H. Papadimitriou · Hilary W. Putnam · Dana S. Scott · Charles L. Harper Jr |
| Logic Colloquium '01 | Digital | | 978-1-108-69544-2 | 2020 | Sy-David Friedman · Jan Krajíček |
| Logic Colloquium '01 | Paperback | | 978-1-56881-248-9 | 2005 |
| Logic Colloquium '01: Lecture Notes In Logic, 20 | Hardcover | | 978-1-56881-247-2 | 2005 | Sy-David Friedman · Jan Krajícek |
| Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings | Taschenbuch | | 978-3-540-00010-5 | 2009 | Andrei Voronkov |
| Methods of Cut-Elimination | Hardcover | | 978-94-007-0319-3 | 2011 | Alexander Leitsch |
| Methods of Cut-Elimination | Paperback | | 978-94-007-0321-6 | 2011 | " |