TY  - GEN
AU  - GEOFFREY HUNTER
TI  - METALOGIC: AN INTRODUCTION TO THE METATHEORY OF STANDARD FIRST ORDER LOGIC
U1  - 160/HUN/MET 
PY  - 1971///
CY  - LONDON
PB  - MACMILLAN
KW  - 100 Philosophy & psychology
KW  - 160 Logic
ER  -