TY  - BOOK
AU  - Hunter,Geoffrey
TI  - Metalogic: an Introduction to the metatheory of standard first order logic
SN  - 9780520023567:
U1  - 511.3 21st
PY  - 1971///
CY  - London
PB  - University of California Press
KW  - METALOGIC
KW  - METATHEORY
KW  - LOGIC
N1  - State Grant 2016-2017; Includes index and references.
ER  -