TY  - GEN
AU  - Ferrater Mora, José
AU  - Leblanc, Hugues
TI  - Lógica matemática
U1  - 164 
PY  - 1975///
CY  - México
PB  - Fondo de Cultura Económica
KW  - LÓGICA MATEMÁTICA
KW  - FILOSOFÍA - LÓGICA MATEMÁTICA
N1  - Lógica simbólica.; Lógica de primer orden: lógica proposicional y de predicados con identidad.; Lógica de clases.; Lógica de relaciones.; Teoría de los tipos.; Nociones de metalógica
ER  -