Vitalsource Technologies, Inc. Mathematical Logic