Artificial intelligence and Text-understanding:Plot units and summarizzation procedures.

Parma, Ed.Zara 1983, cm.17x24, pp.54, brossura Collana Quaderni di Ricerca Linguistica.2.

Treviso, Pagus Ediz. 1992, cm.21x30, pp.85, num.figg.bn.nt. brossura cop.fig. Collana Pedagogia Informatica.

Treviso, Pagus Ediz. 1995, cm.21x30, pp.125, num.figg.bn.nt. brossura cop.fig. Collana Pedagogia Informatica.

Treviso, Pagus Ediz. 1991, cm.30x21, pp.191, nu.ill.bn.e schemi intercalati nt. brossura cop.fig. Collana Pedagogia Informatica.

Versione integrale. Varese, Crescere Edizioni 2013, cm.13x20, pp.381, brossura cop.fig.con bandelle. Collana La Biblioteca dei Ragazzi.

Illustrazioni di Leonello Calvetti e Luca Massini. Blackbirch Press 2007, cm.21,5x23, pp.32, hardcover. Collana Dinosaur Profiles. [mint copy]

Firenze, Bemporad 1918, cm.13x17, pp.50, brossura.

Completezza, incompletezza, indecidibilità. Roma, Edizioni Carocci 2004, cm.15,5x22,5, pp.202, brossura. Collana Università, 487. Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.