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
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.
