Schwartz, J. T., Cantone, D., & Omodeo, E. G. (2011). Computational logic and set theory: Applying formalized logic to analysis. Springer. https://doi.org/10.1007/978-0-85729-808-9
Chicago Style (17th ed.) CitationSchwartz, Jacob T., Domenico Cantone, and Eugenio G. Omodeo. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. New York: Springer, 2011. https://doi.org/10.1007/978-0-85729-808-9.
MLA (9th ed.) CitationSchwartz, Jacob T., et al. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer, 2011. https://doi.org/10.1007/978-0-85729-808-9.
Warning: These citations may not always be 100% accurate.