Geoffrey Hunter <br/><br/>
An Introduction to the Metatheory of Standard First Order Logic 

 - Los Angeles  University of California Press  1973 
 - 288 p 
<br/><br/><label>ISBN: </label>0-520-02356-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof of the Consistency of QS
<br/><br/><label>LC Class. No.: </label>BC 128 .H85/