Vitalsource Technologies, Inc. Concise Intro. To Mathematical Logic