APA (7th ed.) Citation

Schwartz, J. T., Caantone, D., & Omodeo, E. G. (2011). Computational logic and set theory: Applying formalized logic to analysis. Springer London.

Chicago Style (17th ed.) Citation

Schwartz, Jacob T., Domenico Caantone, and Eugenio G. Omodeo. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. London: Springer London, 2011.

MLA (9th ed.) Citation

Schwartz, Jacob T., et al. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer London, 2011.