TY - BOOK AU - Garrido,Manuel TI - Lógica simbólica PY - 1997/// CY - Tecnos 1997 ER -