Computability, an introduction to recursive function theory

Given a framework capable of calculating, describes methods for determining the framework’s capabilities and limitations.