Cambridge University Press · Center for the Study of Language and Inf
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Information Flow: The Logic of Distributed Systems | Paperback | 978-0-521-07099-7 (0-521-07099-6) | 2008 | Jon Barwise |
| Information Flow: The Logic of Distributed Systems | Hardcover | 978-0-521-58386-2 (0-521-58386-1) | 1997 | " |
| Logic, Language and Computation | Paperback | 978-1-881526-89-6 (1-881526-89-5) | 1996 | Dag Westerstahl |