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