SMULLYAN,R.M <br/><br/>
FIRST-ORDER LOGIC 

 - NEW YORK  DOVER  1995 
 - xii+155p.,21x13Cms 
<br/><br/><label>ISBN: </label>0-486-68370-2 
<br/><br/><label>Dewey Class. No.: </label>511.3 S64