Barwise, J. & Etchemendy, J. <br/><br/>
The Language Of First Order Logic. 

 - U.S.A  Stanford