AK Peters, Ltd. · Academic Press · Belin · Einaudi · Elsevier Science · Longanesi · Princeton University Press
| title | media type | ISBN-13 | year of publica- tion |
|---|---|---|---|
| Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 | Hardcover | 978-0-444-87295-1 | 1989 |
| Il Vangelo secondo la scienza: Le religioni alla prova del nove | Unknown Binding | 978-88-06-14930-7 | 1999 |
| Kreiseliana: About and Around George Kreisel | Hardcover | 978-1-56881-061-4 | 1996 |
| La matematica del Novecento | Taschenbuch | 978-88-06-15153-9 | 2000 |
| Le Menzogne di Ulisse | Hardcover | 978-88-304-2044-1 | 2004 |
| Les mathématiques à l'aube du XXIe siècle: Des ensembles à la complexité | Broché | 978-2-7011-3830-5 | 2004 |
| Logic and Computer Science | Hardcover | 978-0-12-524220-2 | 1990 |
| The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | Paperback | 978-0-691-12805-4 | 2006 |
| The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | Hardcover | 978-0-691-09294-2 | 2004 |