TY  - BOOK
AU  - Hunter, Geoffrey
TI  - Metalogic: an introduction to the metatheory of standard first o rder logic 
U1  - 511.3 HUN 
PY  - 1971///
CY  - LOndon
PB  - Macmillan
KW  - First-order logic
N1  - Bibliography: (p. 262-274)
ER  -