TY  - BOOK
AU  - Beth, Evert Willem
AU  - Trejo, Wonfilio
TI  - Implicación semántica y derivabilidad formal
AV  - B 840 B47
PY  - 1978///
CY  - México
PB  - Universidad Nacional Autónoma de México, Facultad de Filosofía y Letras
KW  - Semántica (Filosofía)
KW  - Lógica simbólica y matemática
N1  - Traducción de Koninklijke nederlandse akademie van Wetenschappen
ER  -