| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Language, Proof and Logic, 2nd Edition | Paperback | 978-1-57586-632-1 | 2011 | Jon Barwise · John Etchemendy |
| Tarski's World: Revised and Expanded | " | 978-1-57586-484-6 | 2007 | Jon Barwise · John Etchemendy |
| Words, Proofs and Diagrams | Hardcover | 978-1-57586-405-1 | 2002 | David I. Beaver · Johan van Benthem · Patrick Scotto di Luzio |
| Words, Proofs and Diagrams | Paperback | 978-1-57586-406-8 | 2002 | David I. Beaver · Johan van Benthem · Patrick Scotto di Luzio |
BARKER P · D B · D. Barker · D. P. · David B. · David Barker · David P. · David Plummer