| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Algebraic Foundations of Many-Valued Reasoning | | 978-0-7923-6009-4 | 1999 | R.L. Cignoli · Itala M. d'Ottaviano |
| 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 | Alexander Leitsch · 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 | Alexander Leitsch · Georg Gottlob |
| Logic:: A Brief Course | | 978-88-470-2360-4 | 2012 |
| Logica. Metodo breve | | 978-88-470-1883-9 | 2011 |
| Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 | | 978-0-7923-4383-7 | 1997 | Maria Luisa Dalla Chiara · Kees Doets · Johan van Benthem |
| Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 | | 978-0-7923-4384-4 | 1996 | Maria Luisa Dalla Chiara · Kees Doets · Johan van Benthem |
| Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini , Italy, May 15 - 17, 1996. ... Notes in Computer Science , Band 1071) | | 978-3-540-61208-7 | 2008 | Pierangelo Miglioli · Mario Ornaghi · Ugo Moscato |
| Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini , Italy, May 15 - 17, 1996. Proceedings | | 978-3-662-17552-1 | 2014 | Pierangelo Miglioli · Ugo Moscato |