Oxford University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| An Introduction to the Technique of Formative Processes in Set Theory | Taschenbuch | 978-3-319-89283-2 | 2019 | ||
| An Introduction to the Technique of Formative Processes in Set Theory | Gebunden | 978-3-319-74777-4 | 2018 | Pietro Ursino | |
| Computable Set Theory: v.1: Vol 1 | Hardcover | 978-0-19-853807-3 | 1990 | etc. · A. Ferro · E Omodeo | |
| Computational Logic and Set Theory | " | 978-0-387-40762-3 | 2005 | Jacob Schwartz · Eugenio Omodeo | |
| Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets | " | 978-0-387-95197-3 | 2001 | Eugenio Omodeo · Alberto Policriti | |