Schwartz, J. T., Caantone, D., & Omodeo, E. G. (2011). Computational logic and set theory: Applying formalized logic to analysis. Springer London.
Cita Chicago Style (17a ed.)Schwartz, Jacob T., Domenico Caantone, y Eugenio G. Omodeo. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. London: Springer London, 2011.
Cita MLA (9a ed.)Schwartz, Jacob T., et al. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer London, 2011.
Precaución: Estas citas no son 100% exactas.