Computability and unsolvability - Davis Martin (New York McGraw-Hill, 1958)
Keywords: Computer science irt maths; Computer science