College Publications · Springer
| title | media type | ISBN-13 | year of publication | |
|---|---|---|---|---|
| Bridges from Classical to Nonmonotonic Logic | Paperback | 978-1-904987-00-0 | 2005 | |
| Sets, Logic and Maths for Computing | Taschenbuch | 978-3-030-42217-2 | 2020 | |
| Sets, Logic and Maths for Computing | Paperback | 978-1-4471-2499-3 | 2012 | |
| Sets, Logic and Maths for Computing | " | 978-1-84628-844-9 | 2010 |