| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Proof-net categories | 978-88-7699-080-9 (88-7699-080-1) | 2007 | Zoran Petric |
| Proof-Theoretical Coherence | 978-1-904987-06-2 (1-904987-06-0) | 2004 | " |
| Substructural Logics | 978-0-19-853777-9 (0-19-853777-8) | 1993 | Dosen Schroeder-Heister · P. Schroeder-Heister |
College Publications · Oxford University Press · Polimetrica