Egon Börger: Computabilita, Complessita, Logica.
Vol.1: Teoria della Computazione.
Bollati Boringhieri, Torino 1989, pp.369.
The second volume (containing the logic chapters (Part 2) of
the original) has also been tranlated to Italian but the publisher has
never brought it to the stage of publication.