INGENEGROS

La lógica y su historia Tradicionalmente se ha dicho que la lógica se ocupa del estudio del razonamiento. Esto hoy en día puede considerarse desbordado por la enorme extensión y diversidad que ha alcanzado esta disciplina, pero puede servirnos como primera aproximación a su contenido.

El libro que ponemos a tu disposición tiene entre sus páginas los siguientes temas:

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 conjuntos
9. La formalización de la lógica en teoría de conjuntos, entre otros..

Info: PDF | 7mb | Español | Autor: Carlos Ivorra Castillo

Descarga:

Rapidshare

Link Alternativo