| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Logic In Computer Science: Modelling And Reasoning About Systems | 978-O-521-67O89-O (O-521-67O89-6) |
A.M. · H.A. · H. M. · Huth a · M.A. · M. H. · M. Huth · M M · Michael A. · Michael H. · Michael Huth · Michael M.