Lógica simbólica

Copi, Irving Marmer

Lógica simbólica - 1a ed. - 407 páginas

968-26-0134-7


Lenguajes Varios
Enunciados
Deduccion
Funcion Proposicional
Cuantificadores
Verdad
Validez
Sistemas Deductivos
Geometria Euclidiana
Calculo Proporcional
Lengua
Metalenguaje
Axiomas
Notaciones Alternativas
Sistema de Hilbert Ackermann
Sistema de Nicod
Calculo Funcional
Sistema Logistico Rs
Expansiones Booleanas
Algebra de Clases
Teoria de los Tipos
Reglas de Inferencia