Vitalsource Technologies, Inc. Introduction To Discrete Mathematics Via Logic And Proof