Keisler,H. Jerome <br/><br/>
Mathematical Logic and Computability 

 - New York   Mc Graw Hill  2001 
 - 484