Vitalsource Technologies, Inc. Einfuhrung In Die Mathematische Logik