Barwise, J and John Etchemendy <br/><br/>
Language proof and logic 

 - Seven Bridges Press  New york  1999 
<br/><br/><label>ISBN: </label>1889119083 
<br/><br/><label>LC Class. No.: </label>QA  76.758  / B37 1999