Vitalsource Technologies, Inc. An Introduction To Proofs With Set Theory