Smullyan, Raymond M.. <br/><br/>
First-order logic 
/ Raymond M. Smullyan 
 - New York, N.Y.   : Dover   , 1994 
 - xii, 158 p.  
<br/><br/><label>ISBN: </label>0486683702 
<br/><br/><label>Subjects--Topical Terms: </label><br/> LOGICA MATEMATICA
<br/><br/><label>Universal Decimal Class. No.: </label>510.6 S666f