| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Logic at the Crossroads : Proof, Computation and Agency Games, Norms and Reasons | 978-94-007-0920-1 | 2012 | Amitabha Gupta · Johan van Benthem · Eric Pacuit | |
| Logic Colloquium: Symposium on Logic held at Boston, 1972-73 | 978-3-540-07155-6 | 2009 | ||
| Logics of Programs | 978-0-387-15648-4 | 1985 | ||
| Logics of Programs: Brooklyn, June 17-19, 1985 | 978-3-540-15648-2 | 2008 | ||
| Proof, Computation and Agency: Logic at the Crossroads | 978-94-007-0079-6 | 2011 | Johan van Benthem · Amitabha Gupta | |