Computability & unsolvability (1982)

by Martin Davis