TY  - BOOK
AU  - Geoffrey Hunter
TI  - An Introduction to the Metatheory of Standard First Order Logic
SN  - 0-520-02356-0
AV  - BC 128 .H85/ 
CY  - Los Angeles
KW  - Proof of the Consistency of QS
ER  -