Primer curso de lógica matemática /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Spanish English |
| Published: |
Barcelona :
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