Computability - Weihrauch, Klaus, 1947- (EATCS monographs on theoretical computer science ;, 1987)