E Omodeo · Esen Onat · Eugenio G. Omodeo · Eugenio Oñate
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computational Logic and Set Theory | 978-0-387-40762-3 (0-387-40762-6) | 2005 | Jacob Schwartz · Domenico Cantone |
| Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets | 978-0-387-95197-3 (0-387-95197-0) | 2001 | Domenico Cantone · Alberto Policriti |