MLA

Ayala-Rincón, and Flávio L. C de Moura. Applied Logic for Computer Scientists. Springer International Publishing, 2017.

APA

Ayala-Rincón, A., & de Moura, F. L. C. (2017). Applied Logic for Computer Scientists. Springer International Publishing.

Chicago

Ayala-Rincón, and Flávio L. C de Moura. Applied Logic for Computer Scientists. : Springer International Publishing, 2017.