| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures: Background - Computational Structures Vol 2 | 978-0-19-853761-8 (0-19-853761-1) | 1993 | Samson Abramsky · D. M. Gabbay |
| Handbook of Logic in Computer Science: Volume 4: Semantic Modelling: Semantic Modelling Vol 4 | 978-0-19-853780-9 (0-19-853780-8) | 1995 | Samson Abramsky · Dov M. Gabbay |
| Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods: Algebraic and Logical Structures Vol 5 | 978-0-19-853781-6 (0-19-853781-6) | 2001 | Samson Abramsky · Dov M. Gabbay |
S M · T. M · T. Maibaum · T.S. · T. S. E. Maibaum · T. S. M. · Thomas S. E. Maibaum