Browsing by Author G. Omodeo, Eugenio
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2016 | Martin Davis on Computability, Computational Logic, and Mathematical Foundations | G. Omodeo, Eugenio; Eugenio G. Omodeo and Alberto Policriti E |