Computability & Unsolvability / Martin Davis .. - Davis, Martin, 1928- (OLS)http://pul/name/48980 (Dover, 1982)
Contiene indice.
"References": p. 237-241.