Logica I : Filosofía de las Matemáticas
Detalles de publicación: Lima : IP, 1980Edición: 1raDescripción: 680 páginasISBN:- fcnm599
- 510.1/M64
Contenidos:
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.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Biblioteca Especializada FCNM Tercer Piso | 510.1/M64 (Navegar estantería(Abre debajo)) | Disponible | Interno | FCNM908 |
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.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.