| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Computational algebraic approaches to natural language | Copertina flessibile | 978-88-7699-125-7 | 2008 | C. Casadio |
| Introduction to Higher-Order Categorical Logic | Paperback | 978-0-521-35653-4 | 1988 | P. J. Scott |
| Introduction to Higher-Order Categorical Logic | Hardcover | 978-0-521-24665-1 | 1986 | " |
| The Heritage of Thales | " | 978-0-387-94544-6 | 1995 | W.S. Anglin |
Cambridge University Press · Polimetrica · Springer