Primer curso de lógica matemática /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: |
Spanish English |
| Published: |
Bogotá :
Reverté,
1988.
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Simbolización de proposiciones
- Inferencia lógica
- Certeza y validez
- Tablas de certeza
- Términos, predicados y cuantificadores universales
- Especificación universal y leyes de identidad
- Un sistema matemático simple: axiomas de la adición
- Generalización universal.
