TY - BOOK AU - Garrido,Manuel TI - Logica simbolica SN - 8430906754 AV - BC135 G35 1977 PY - 1977/// CY - Madrid PB - Tecnos KW - Lógica simbólica y matemática ER -