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