Davis Martin <br/><br/>
Computability and Unsolvability 
/ by Martin Davis 
 - New York  Dover Publications Inc.  1958 
 - 248p.