Applied logic for computer scientists : computational deduction and formal proofs - Ayala-Rincón, Mauricio (Springer, 2017)