Eugenio Omodeo profile picture

Eugenio Omodeo

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

Computable Set Theory: Volume 1
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets