Cita APA

Ayala-Rincón, M., & de Moura, F. L. C. (2017). Applied logic for computer scientists: Computational deduction and formal proofs (1 edición.). Cham, Suiza: Springer.

Citación estilo Chicago

Ayala-Rincón, Mauricio, y Flávio L. C. de Moura. Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs. 1 edición. Cham, Suiza: Springer, 2017.

Cita MLA

Ayala-Rincón, Mauricio, y Flávio L. C. de Moura. Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs. 1 edición. Cham, Suiza: Springer, 2017.