Hunter, Geoffrey <br/><br/>
Metalogic :  an introduction to the metatheory of standard first o rder logic / 
Geoffry Hunter 
 - LOndon :  Macmillan ,  1971. 
 - xiii, 288p. :  ill. ;  23cm 
<br/><br/>Bibliography: (p. 262-274) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>First-order logic
<br/><br/><label>Dewey Class. No.: </label>511.3 HUN