Vitalsource Technologies, Inc. The Foundations Of Computability Theory