Schwartz, J. T., Caantone, D., & Omodeo, E. G. (2011). Computational logic and set theory: Applying formalized logic to analysis. Springer London.
Chicago-Zitierstil (17. Ausg.)Schwartz, Jacob T., Domenico Caantone, und Eugenio G. Omodeo. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. London: Springer London, 2011.
MLA-Zitierstil (9. Ausg.)Schwartz, Jacob T., et al. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer London, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.