Mathematical Logic and Discrete Mathematics