Claudette Robinson, Valentin Goranko, Willem Conradie Logic and Discrete Mathematics View_Book