Eugenio Omodeo profile picture

Eugenio Omodeo

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Computable Set Theory: Volume 1 (International Series of Monographs on Computer Science, 6)
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets