Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko. - Conradie, Willem, 1978-; Goranko, Valentin (Wiley, 2015)