Conradie, Willem; Goranko, Valentin Logic and Discrete Mathematics: A Concise Introduction - Wiley 2015 ISBN: 9781118751275