Eugenio Omodeo

• Computable set theory
• Set Theory for Computing
• Set theory for computing