Lógica elemental /
Juan M Negrete
- 1a. ed.
- México Limusa 1994
- 138 p.
Contenido en p.9
LOS SÍMBOLOS LÓGICOS. Símbolos variables. Símbolos constantes. LA AXIOMÁTICA. Los principios lógicos tradicionales. Algunos principios de la teoría de conjuntos. La axiomática Russell-Whitehead. LAS REGLAS DE FORMACIÓN. La codificación. El cálculo proposicional. La lógica cuantificacional. LAS REGLAS DE TRANSFORMACIÓN. Del cálculo proposicional. De la lógica cuantificacional