TY - BOOK AU - Garrido,Manuel TI - Lógica simbólica / PY - 1977///] CY - Madrid : PB - Tecnos, ER -