| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings | Paperback | 978-3-662-20287-6 | 2014 | Mario Rodriguez-Artalejo |
| Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings | Taschenbuch | 978-3-540-66536-6 | 1999 | " |
| Einführung in die mathematische Logik | " | 978-3-8274-1691-9 | 2007 | Heinz-Dieter Ebbinghaus · Wolfgang Thomas |
| Einführung in die mathematische Logik | " | 978-3-8274-0130-4 | 1996 | Heinz D. Ebbinghaus · Wolfgang Thomas |
| Einführung in die mathematische Logik | Tapa blanda | 978-3-411-15603-0 | 1992 | Heinz D Ebbinghaus · Wolfgang Thomas |
| Finite Model Theory: First Edition | Gebunden | 978-3-540-60149-4 | 1995 | Heinz-Dieter Ebbinghaus |
| Finite Model Theory: Second Edition | " | 978-3-540-28787-2 | 2005 | " |
| Finite Model Theory: Second Edition | Taschenbuch | 978-3-540-65758-3 | 1999 | " |
| Logic and Automata: History and Perspectives | Paperback | 978-90-5356-576-6 | 2007 | Erich Grädel · Thomas Wilke |
| Mathematical Logic | Gebunden | 978-3-540-94258-0 | 1996 | Heinz-Dieter Ebbinghaus · Wolfgang Thomas |
| Mathematical Logic | " | 978-3-540-90895-1 | 1984 | Heinz D. Ebbinghaus · W. Thomas |
| Parameterized Complexity Theory | " | 978-3-540-29952-3 | 2006 | Martin Grohe |
| Topological Model Theory | Taschenbuch | 978-3-540-09732-7 | 2009 | |
Amsterdam University Press · Bibliographisches Institut · Spektrum Akademischer Verlag · Springer