Discrete Mathematics and Logic