Contenido:
1. Lenguajes formales de primer orden
2. Sistemas deductivos formales
3. La completitud semántica
4. Teoría de la recursión
5. Teorías aritméticas
6. Incompletitud
7. Los axiomas de la teoría de conjuntos
8. Modelos de la teoría de conjuntos9. La formalización de la lógica en teoría de conjuntos, entre otros...
Informacion:
Autor: Carlos Ivorra C.
Formato: PDF
Peso: 3,8 MB
Pass: esebooks
No Olvides comentar!!
Descargalo:
Download here