Martin Davis <br/><br/>
Computability and Unsolvability 

 - 1 
 -  Dorer New York  1982