Martínez Cruzado, Rosa F. Fundamentos de lógica simbólica / El cálculo de deducción Natural, Rosa Fernanda Martínez Cruzado. - Ed. 1998. - Río Piedras P.R. : Publicaciones Puertorriqueñas c1998. - xii, 276 p. : ill. ; 28 cm. Bibliography : p. [275]-276. ISBN: 1881713709 Subjects--Topical Terms: LogicLogic, Symbolic and mathematical LC Class. No.: BC135 / .M37