Logic and Discrete Mathematics_A Concise Introduction [2015]