TY - BOOK AU - Deaño, Alfredo TI - Introducción a la lógica formal U1 - 161 PY - 1985/// KW - GEN KW - CHU ER -