Books by Eugenio Omodeo
Total count: 3
Computable Set TheoryVolume 1 (International Series of Monographs on Computer Science)Oxford University Press, USA1990-04-12
Set Theory for ComputingFrom Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)Springer2001-06-26
Computational Logic and Set TheorySpringer-Verlag New York Inc.2005-05-18