Languages
Jump To : Overview | Titles | Subjects

Omodeo, Eugenio G.

Overview
Works: 1 works in 3 publications in 1 languages
Titles
Computational logic and set theory = applying formalized logic to analysis / by: Cantone, Domenico.; Schwartz, Jacob T.; Omodeo, Eugenio G.; SpringerLink (Online service) (Language materials, printed)
Martin Davis on computability, computational logic, and mathematical foundations by: SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto. (Language materials, printed)
On sets and graphs = perspectives on logic and combinatorics / by: Tomescu, Alexandru I.; Policriti, Alberto.; SpringerLink (Online service); Omodeo, Eugenio G. (Language materials, printed)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations by: SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login