| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Words, Proofs and Diagrams | Hardcover | 978-1-57586-405-1 (1-57586-405-3) | 2002 | David Barker-Plummer · David I. Beaver · Johan van Benthem |
| Words, Proofs and Diagrams | Paperback | 978-1-57586-406-8 (1-57586-406-1) | 2002 | David Barker-Plummer · David I. Beaver · Johan van Benthem |
Di Luzio · P S · P. Scotto · Patrick D. · Patrick L. · S D · S. L.