Eugenio Omodeo

No bio available. Add one in Open Library.

Books by Eugenio Omodeo (50 max)

+ shelf+ list

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

2001

Domenico Cantone, Eugenio Omodeo, Alberto Policriti

+ shelf+ list

Computable set theory

1989

Domenico Cantone, Alfredo Ferro, Eugenio Omodeo