Lógica para matemáticos
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | español |
| Datos de publicación: |
Madrid :
Paraninfo,
1981
|
| Series: | Lógica y teoría de la ciencia
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción no disponible. |
Tabla de Contenidos:
- 1- Cálculo de enunciados informal 2- Cálculo de enunciados formal
- 3- Cálculo de predicados informal
- 4- Cálculo de predicados formal 5- Sistemas matemáticos 6- El Teorema de Incompletitud de Gödel 7- Computabilidad, insolubilidad, indecidibilidad
- Ap. Conjuntos numerables y no numerables
- Indicaciones y soluciones de ejercicios seleccionados
- Bibliografía
- Glosario de símbolos
- Indice alfabético.