Vitalsource Technologies, Inc. Mathematical Logic And Formalized Theories