Logic and discrete mathematics : a concise introduction - Conradie, Willem, 1978-; Goranko, Valentin; Robinson, Claudette (Solutions manual, 2015)