Logic as a tool : a guide to formal logical reasoning - Goranko, Valentin (Wiley, 2016)