TY  - BOOK
AU  - Hunter Geoffrey
TI  - Metalogic :  an introduction to the metheory of standard first order logic
U1  - R1, L1 
PY  - 1971///
CY  - London
PB  - Macmillan UK      
KW  - LOGIC; PHILOSOPHY
ER  -