Primer curso de lógica matemática /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: |
Spanish English |
| Published: |
Barcelona : México, D.F. :
Editorial Reverté;
2010.
Reverté Ediciones, |
| 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 edición
- Generalización universal
