Applied Logic for Computer Scientists - Computational Deduction and Formal Proofs