Discrete Mathematics And Mathematical Logic-2