Introducción a la lógica Óscar Trelles Montero y Diógenes Rosales Papa [Texto impreso]
Tipo de material:
TextoDetalles de publicación: Lima : Fondo editorial de la Pontificia Universidad Católica del Perú, 2000 (reimpr. 2002)Edición: 2a ed. 1a reimprDescripción: 388 p. : 21 cmISBN: - 9972421821
- BC 59 T79 2002
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 | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Código de barras | |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca General y Aula Virtual del Ejército Book Cart | Non-fiction | BC 59 T79 2002 (Navegar estantería(Abre debajo)) | 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(Abre debajo)) | 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 en este titulo.
Iniciar sesión para colocar un comentario.