Vitalsource Technologies, Inc. Proof Theory In Computer Science