Di seguito sono disponibili le traduzioni in italiano di alcuni testi (saggi, articoli, passi tratti da opere, ...) di logica matematica prodotte da Gianluca Zoni.
I testi sono in due formati: PDF o DjVu. Quest'ultimo è un formato aperto, standard e di altissima qualità. Per informazioni e per reperire i software ed i plugin di visualizzazione:

• http://it.wikipedia.org/wiki/DjVu
• http://djvu.sourceforge.net/

Testi disponibili:

• Alcuni capitoli tratti da Computability and Logic di George Boolos, Richard C. Jeffrey
  Cambridge University Press (1974, prima edizione)
  [consultazione parziale del testo originale]
  
  traduzioni:
  • Capitolo 15 - Indecidibilità, indefinibilità e incompletezza
  • Capitolo 16 - I predicati di dimostrabilità e l'indimostrabilità della consistenza
  • Capitolo 17 - Modelli non-standard dell'aritmetica
  • Capitolo 21 - La decidibilità dell'aritmetica con l'addizione, ma non la moltiplicazione