Boolos George S. <br/><br/>
Computabilitty and Logic 
/ by George S.Boolos 
 - New York  Cambridge University Press  1974 
 - 261p.