Computability: Turing, Gdel, Church, and Beyond (The MIT Press)