| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Theorem Proving in Higher Order Logics | 978-3-54O-81445-O (3-54O-81445-O) | 2008 |
J. H. · J. Hurd · Joe H. · Joe Hurd · M. H. · M. Hurd · M J · M J. H · T.H. · T.J. · T. M · T.M.H. · T Melham · Tom Joe · Tom Melham