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

Ayala-Rincón, M., & de Moura, F. L. C. (2017). Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs. Springer International Publishing : Imprint: Springer.

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

Ayala-Rincón, Mauricio, και Flávio L. C. de Moura. Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs. Cham: Springer International Publishing : Imprint: Springer, 2017.

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

Ayala-Rincón, Mauricio, και Flávio L. C. de Moura. Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs. Springer International Publishing : Imprint: Springer, 2017.