TY  - BOOK
AU  - Negrete, Juan M.
TI  - Lógica elemental
SN  - 9681844998
U1  - 160 N385 
PY  - 2002///
CY  - Bogotá
PB  - Noriega Editores
KW  - LÓGICA
N1  - L023535 CERES; 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.-- 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 cuantificadora
ER  -