TY - BOOK AU - Garrido,Manuel TI - Lógica simbólica SN - 84-309-0675-4 AV - BC 135 G352 PY - 1986///, c1974 CY - Madrid PB - Tecnos KW - Lógica simbólica y matemática N1 - Orientación bibliográfica: p. 403-424 ER -