Ebbinghaus Heinz-Dieter <br/><br/>
Mathematical Logic 
/ by Heinz-Dieter Ebbinghaus 
 - 3rd.ed 
 - New York  Springer Verlag  1994 
 - 304p.