Lógica matemática antecedentes y fundamentos
Moreno, Alberto
Lógica matemática antecedentes y fundamentos - 2° ed. - Buenos Aires Eudeba 1971 - Manuales Lógica .
Notas, bibliografía e índices de autores y alfabético p. 135-173
Indice Alfabético Introducción : Lógica Historia de la lógica no-matemática : La lógica de Aristóteles. La lógica de los estoicos. La lógica medieval. La lógica después del medioevo. Elementos de lógica no-matemática : Lógica de enunciados. Lógica de términos. Relaciones entre enunciados. Lógica de términos. Silogismo. Álgebra de la lógica : Lógica de términos. Lógica de enunciados. Historia del álgebra de la lógica. Lógica matemática : Lógica matemática. Lógica de enunciados. Funciones de verdad. Leyes de la lógica de enunciados. Sistema P M. El silogismo categórico : Supuestos. Leyes de la oposición y de la conversión. Modos del silogismo. Relaciones entre "las" lógicas : Lógica no-matemática, álgebra de la lógica y lógica matemática Un clásico de historia de la lógica : J. Lukasiewicz: Historia de la lógica de enunciados
510.6 MOR
Lógica matemática antecedentes y fundamentos - 2° ed. - Buenos Aires Eudeba 1971 - Manuales Lógica .
Notas, bibliografía e índices de autores y alfabético p. 135-173
Indice Alfabético Introducción : Lógica Historia de la lógica no-matemática : La lógica de Aristóteles. La lógica de los estoicos. La lógica medieval. La lógica después del medioevo. Elementos de lógica no-matemática : Lógica de enunciados. Lógica de términos. Relaciones entre enunciados. Lógica de términos. Silogismo. Álgebra de la lógica : Lógica de términos. Lógica de enunciados. Historia del álgebra de la lógica. Lógica matemática : Lógica matemática. Lógica de enunciados. Funciones de verdad. Leyes de la lógica de enunciados. Sistema P M. El silogismo categórico : Supuestos. Leyes de la oposición y de la conversión. Modos del silogismo. Relaciones entre "las" lógicas : Lógica no-matemática, álgebra de la lógica y lógica matemática Un clásico de historia de la lógica : J. Lukasiewicz: Historia de la lógica de enunciados
510.6 MOR