TY  - BOOK
AU  - Beth,E.W.
TI  - Implicación semántica y derivabilidad formal
T2  - Colección Cuadernos
U1  - 160/B465i 
PY  - 1978///
CY  - México, México 
PB  - Universidad Nacional Autónoma de México.
KW  - LOGICA
N1  - Incluye bibliografia
ER  -