9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / Ballo ... [et. al.]. |
Padova : Muzzio, 1990. |
Ballo, Edoardo |
Dalla macchina di Turing ai calcolatori digitali / Edoardo Ballo |
In: Eredità di Alan Turing. p. 15-22 |
Logic and philosophy in Italy : some trends and perspectives : essays in honor of Corrado Mangione on his 75th birthday / Edoardo Ballo, Miriam Franchella editors. |
Monza : Polimetrica, 2006. |
Gödel, Kurt, 1906-1978 |
Opere / Kurt Gödel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson Jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]. |
Torino : Bollati Boringhieri, 1999-2009. |
La ricerca logica in Italia : studi in onore di Corrado Mangione : Milano, 10-11 settembre 2009 / a cura di Edoardo Ballo, Carlo Cellucci |
Milano : Cisalpino, 2011. |