Introducción a la lógica / Oscar Trelles Montero, Diógenes Rosales Papa ; colaboradores, Juan Montealegre y Miguel Fuentes.
Tipo de material:
TextoIdioma: Español Detalles de publicación: Lima : Pontificia Universidad Católica del Perú, 2000.Edición: 2a edDescripción: 388 p. ; 24 cmISBN: - 9972-1-0192-4
- 160 I 2000
Contenidos:
Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional -- Simbolización -- Inferencias clásicas -- Sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- Sistema de diagramas sintácticos SDS.
| Tipo de ítem | Biblioteca actual | Signatura | Estado | Ubicación en edificio | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Municipal Manuel Beingolea | 160 I 2000 (Navegar estantería(Abre debajo)) | Disponible | Estantería cerrada | 10212 |
Total de reservas: 0
Navegando Biblioteca Municipal Manuel Beingolea estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 1585.1 A 2017 La actitud mental positiva : Un camino hacia el exito/ | 159 98M32 El sistema infalible para triunfar | 160 G74 Logica general | 160 I 2000 Introducción a la lógica / | 160.03 S94 Introduccion a la logica matematica | 160.711 R84 1994 Introducción a la lógica / | 160.9 S21 Historia de la dialectica |
Bibliografía: p. [371]-379.
Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional -- Simbolización -- Inferencias clásicas -- Sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- Sistema de diagramas sintácticos SDS.
