Vitalsource Technologies, Inc. Classical Mathematical Logic