Shoenfield, Joseph R. <br/><br/>
Mathematical logic / 

 -  1967. 
 - Addison-wesely series in logic .