TY  - BOOK
AU  - Copi, Irving M.
TI  - Lógico Simbólica
SN  - 968-26-01347
U1  - 511.3 
PY  - 1998///
CY  - México
PB  - Compañia Editora Continental S.A
KW  - MATEMÁTICAS
KW  - LÓGICA MATEMÁTICA
KW  - ARITMÉTICA
KW  - ALGORITMO
N1  - Incluye índice general; Incluye bibliografía; Introducción: la lógica y el lenguaje.-- Argumentos que contienen enunciados compuestos.-- El método de deducción.-- Funciones proposicionales y cuantificadoes.-- La lógica de las relaciones.-- Sistemas deductivos.-- Un cálculo proposicional.-- Sistemas y notaciones alternativas.-- Un cálculo funcional de primer orden
ER  -