Vitalsource Technologies, Inc. Foundations Of Computability Theory