Vitalsource Technologies, Inc. Computational Logic And Set Theory