| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker | 978-3-662-55651-1 (3-662-55651-0) | 2017 | ||
| Logic, Language and Reasoning: Essays in Honour of Dov Gabbay | 978-0-7923-5687-5 (0-7923-5687-X) | 1999 | U. Reyle | |
| Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June , 1996. Proceedings | 978-3-540-61313-8 (3-540-61313-7) | 2008 | Dov M. Gabbay | |
H.J. · H. Juergen · H-O. · Hans J. Ohlbach · Hans Jürgen · Hans Jurgen Ohlbach