Vitalsource Technologies, Inc. Complexity, Logic, And Recursion Theory