Mendelson, Ellicot. <br/><br/>
Introduction to mathematical logic   
by Ellicot Mendelson. 
 -  Wadsworth and Brooks  1987