Hunter, Geoffrey.
Metalogic: an introduction to the metatheory of standard first order logic /
Geoffrey Hunter 
. - Berkeley : Los Angeles : University of California Press,  1973 
. - xiii, 288 p.  tab., schem.  23 cm. 
 - (Campus  ; 91 )
<br/>К.: Бібліогр. : c. 262-274, Index 
<br/><label>  ISBN: </label>0-520-02356-0