Mendelson, E. <br/><br/>
Introduction to mathematical logic  

 - London   CRC press