TY  - BOOK
AU  - Hunter, Geoffrey
TI  - Metalogic: an introduction to the metatheory of standard first order logic 
AV  - BC 135 H85
PY  - 1971///
CY  - Berkeley, Calif.
PB  - University of California
KW  - Lógica simbólica y matemática
ER  -