Computability, complexity, and languages : - Davis, Martin 1928- (Computer science and scientific computing, 1994)