Copi, Irving M.
Lógica simbólica [TRATADO]. -- México, D.F. : Compañía Editorial Continental, 1998

Contenido: la lógica y el lenguaje; argumentos que contienen enunciados compuestos; el método de deducción; funciones proposicionales y cuantificadores; la lógica de las relaciones; sistemas deductivos; un cálculo proposicional; sistemas y notaciones alternativos; un cálculo funcional de primer orden; formas normales y expansiones booleanas; el álgebra de clases; la teoría ramificada de los tipos; soluciones de ejercicios selectos; símbolos especiales; reglas de cuantificación; reglas de interferencia
ISBN: 9682601347

1. 160; 2. Lógica

(1) Inv.: 00026192 S.T.: 160 COP ; (1) Inv.: 00026535 S.T.: 160 COP ; (1) Inv.: 00026536 S.T.: 160 COP ; (1) Inv.: 00026537 S.T.: 160 COP ; (1) Inv.: 00026538 S.T.: 160 COP ; (1) Inv.: 00026539 S.T.: 160 COP