Logica I : Filosofía de las Matemáticas
MiroQuesada Cantuarias, Francisco.
Logica I : Filosofía de las Matemáticas - 1ra - Lima : IP, 1980 - 680 páginas
1.La lógica como teoría de la deducción. 2.El lenguaje de la lógica. 3.Análisis intuitivo del concepto de deducción. 4.El método axiomático. 5.El teorema de la deducción. 6.La interpretación de los lenguajes de primer orden. 7.Métodos de deducción formal en la lógica de primer orden.
fcnm599
510.1/M64
Logica I : Filosofía de las Matemáticas - 1ra - Lima : IP, 1980 - 680 páginas
1.La lógica como teoría de la deducción. 2.El lenguaje de la lógica. 3.Análisis intuitivo del concepto de deducción. 4.El método axiomático. 5.El teorema de la deducción. 6.La interpretación de los lenguajes de primer orden. 7.Métodos de deducción formal en la lógica de primer orden.
fcnm599
510.1/M64