Παραπομπή σε μορφή APA (7η εκδ.)

Schwartz, J. T., Cantone, D., & Omodeo, E. G. (2011). Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer London : Imprint: Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Schwartz, Jacob T., Domenico Cantone, και Eugenio G. Omodeo. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. London: Springer London : Imprint: Springer, 2011.

Παραπομπή σε μορφή MLA (8th εκδ.)

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