| title | media type | ISBN-13 | year of publication |
|---|---|---|---|
| Concepts of Formal Methods | Taschenbuch | 978-0-13-179219-7 | 1994 |
| Logic with PROLOG | Paperback | 978-0-19-859659-2 | 1989 |
| Logic with PROLOG | Hardcover | 978-0-19-859671-4 | 1988 |
| Particles and Paradoxes: The Limits of Quantum Logic | Paperback | 978-0-521-33691-8 | 2008 |
| Particles and Paradoxes: The Limits of Quantum Logic | Hardcover | 978-0-521-33498-3 | 1987 |
Cambridge University Press · Oxford University Press · Prentice Hall