Vitalsource Technologies, Inc. Concepts Of Proof In Mathematics, Philosophy, And Computer Science