A philosophical companion to first-order logic /
edited, with an overview, by R.I.G. Hughes 
. - Indianapolis : Cambridge : Hackett Publishing Company, Inc.,  1993 
. - viii, 309 p.  tab., schem.  21 cm. 
<br/>К.: Бібліогр. : c. 291-302, Index 
<br/><label>  ISBN: </label>0-87220-181-3