Vitalsource Technologies, Inc. Intro. To Mathematical Structures And Proofs