کتاب های Eugenio Omodeo
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Eugenio G. Omodeo, Alberto Policriti(eds.), 2016
Computable Set Theory
Domenico Cantone, Alfredo Ferro, Eugenio Omodeo, 1990
