Discrete Mathematics With Logic - Martin, Milanic. (Academic Press,)