TY - BOOK AU - Ferrater Mora, José TI - Lógica matemática U1 - 511.3 / PY - 2005/// CY - México, D.F PB - Fondo de Cultura Económica KW - Lógica simbólica KW - Matemática N1 - Contenido :Naturaleza de la lógica --Lógica sentencial --Lógica cuantificasional --Lógica de la identidad ER -