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