Introducción a la lógica / Oscar Trelles Montero, Diógenes Rosales Papa ; colaboradores, Juan Montealegre y Miguel Fuentes.
By: Trelles Montero, Oscar
.
Contributor(s): Rosales Papa, Dióguenes.
Publisher: Lima : Pontificia Universidad Católica del Perú, 2000Edition: 2a edición.Description: 388 páginas.ISBN: 9972101924.Subject(s): LógicaDDC classification: 160
Partial contents:
1. Conceptos Lógicos. -- 2. Lógica proposicional: aspectos semánticos -- 3. Simbolización y aplicaciones -- 4. Consecuencia semántica -- 5. Lógica cuantificacional Introduccion. -- 6. Simbolización -- 7. Inferencias clásicas -- 8. Sistema de deducción natural proposicional -- 9. Lógica cuantificacional: el método DN -- 10. Sistema de diagramas sintácticos (SDS).
| Item type | Home library | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Jesus María Sala General | 160 TREL (Browse shelf) | Available | EN PROCESO | BC000093 | ||
|
Libro
|
Biblioteca Jesus María Sala General | 160 TREL (Browse shelf) | ej. 2 | Available | EN PROCESO | BC000094 |
Bibliografía: p. [371]-379.
1. Conceptos Lógicos. -- 2. Lógica proposicional: aspectos semánticos -- 3. Simbolización y aplicaciones -- 4. Consecuencia semántica -- 5. Lógica cuantificacional Introduccion. -- 6. Simbolización -- 7. Inferencias clásicas -- 8. Sistema de deducción natural proposicional -- 9. Lógica cuantificacional: el método DN -- 10. Sistema de diagramas sintácticos (SDS).
There are no comments for this item.