Computability & unsolvability
Davis, Martin,1928-
New York Dover London Constable
1982
Previous ed.: New York : McGraw Hill, 1958
Bibliography: p237-241. - Includes index
Recursive functions.