TY - BOOK AU - Garrido,Manuel TI - Lógica simbólica SN - 8430926046 PY - 1995/// CY - Madrid : PB - Tecnos, KW - Metodologia KW - Logica Matematica ER -