TY  - BOOK
AU  - Hunter Geoffery
TI  - Metalogic : An introduction to the metatheolory of standard first order logic
U1  - R14, L1 
PY  - 1971///
CY  - Oxford
PB  - Macmillan          
ER  -