E' arrivato Lemmy Caution.

Milano, Arnoldo Mondadori Ed. 1954, cm.14x20,3, pp.122, tascabile, cop.fig.a col. Collana I Gialli,265.

Traduz.di Bruno Amato. Milano, Polillo Editore 2011, cm.13,5x18,5, pp.250, brossura con cop.fig.con bandelle, Collana I Mastini,9. The Crime Collection. Lemmy Caution è un autentico duro. Si muove con disinvoltura nell'ambiente malavitoso degli Stati Uniti, dove è noto per la sua fama di gangster pronto a tutto per un valido tornaconto. Condannato a vent'anni di reclusione per aver ucciso un poliziotto, due mesi dopo è evaso dal carcere di Oklahoma City e ha fatto perdere le sue tracce. Ora Lemmy, dopo essersi imbarcato da Marsiglia con un passaporto falso, si trova a Londra a caccia di una sua vecchia conoscenza, la bella e spregiudicata Miranda van Zelden, l'unica figlia di uno degli uomini più ricchi degli Stati Uniti. Ma non è il solo ad avere delle mire sulla ragazza. Il famigerato Ferdie Siegella, una vera istituzione nel racket dei sequestri di persona, è giunto in Inghilterra allo scopo di rapire Miranda per poi trasportarla fuori dal paese. Così ha assoldato proprio Lemmy perché avvicini la ragazza e la porti tra le braccia dei suoi aguzzini. Ma la cosa non è per niente facile perché Miranda, il cui arrivo in territorio britannico non è certo passato inosservato, fa gola a molte bande rivali... Scritto dal più americano degli autori inglesi, un classico del 1936 con la prima apparizione di quel Lemmy Caution, "un po' eroe e un po' antieroe".

A cura di Alberto Tedeschi. Milano, Arnoldo Mondadori Ed. giugno 1971, cm.14,5x21, pp.707, legatura editoriale copertina con placchetta illustrazioni a colori. Collana Omnibus Gialli.

Milano, Arnoldo Mondadori Ed. 1978, cm.11x18,3, pp.201, tascabile, cop.fig.a col. Collana I Classici del Giallo,306.

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.