Vitalsource Technologies, Inc. A Course In Mathematical Logic For Mathematicians