Introducción a la lógica Óscar Trelles Montero y Diógenes Rosales Papa [Texto impreso]
Por: Trelles Montero, Óscar.
Colaborador(es): Rosales Papa, Diógenes.
Tipo de material: LibroEditor: Lima : Fondo editorial de la Pontificia Universidad Católica del Perú, 2000 (reimpr. 2002)Edición: 2a ed. 1a reimpr.Descripción: 388 p. : 21 cm.ISBN: 9972421821.Tema(s): LógicaRecursos en línea: Google libros (Vista previa)
Contenidos:
Conceptos básicos -- Lógica proposicional: Aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: Introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS).
Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libros | Biblioteca General y Aula Virtual del Ejército Book Cart | Non-fiction | BC 59 T79 2002 (Navegar estantería) | 1 | Disponible | MAIN1510000698 | |
Libros | Biblioteca General y Aula Virtual del Ejército Book Cart | Non-fiction | BC 59 T79 2002 ej.2 (Navegar estantería) | 1 | Disponible | MAIN1510000699 |
Conceptos básicos -- Lógica proposicional: Aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: Introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS).
No hay comentarios para este ejemplar.