Vitalsource Technologies, Inc. Course In Model Theory