| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings | Taschenbuch | | 978-3-540-42254-9 | 2008 | Tobias Nipkow · Rajeev Gore |
| Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science , Band 1289) | " | | 978-3-540-63385-3 | 2008 | Daniele Mundici · Georg Gottlob |
| Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... Notes in Computer Science , Band 713) | " | | 978-3-540-57184-1 | 2008 | Daniele Mundici · Georg Gottlob |
| Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings | Paperback | | 978-0-387-57184-3 | 1993 | Georg Gottlob |
| Methods of Cut-Elimination | Hardcover | | 978-94-007-0319-3 | 2011 | Matthias Baaz |
| Methods of Cut-Elimination | Paperback | | 978-94-007-0321-6 | 2011 | " |
| The Resolution Calculus | Taschenbuch | | 978-3-642-64473-3 | 2012 |
| The Resolution Calculus | Gebunden | | 978-3-540-61882-9 | 1996 |