Compacidad en la lógica de primer orden y su relación con el teorema de completud
El objetivo fundamental de este libro es el estudio del Teorema de Compacidad, sus consecuencias y aplicaciones, así como sus relaciones con el Teorema de Completud.
| Autor: | |
|---|---|
| Tipo de recurso: | libro |
| Estado: | Versión publicada |
| Fecha de publicación: | 2006 |
| País: | México |
| Institución: | Universidad Nacional Autónoma de México |
| Repositorio: | Sistema de Información de la Facultad de Ciencias, UNAM |
| OAI Identifier: | oai:repositorio.fciencias.unam.mx:11154/3953 |
| Acceso en línea: | http://hdl.handle.net/11154/3953 http://www.fciencias.unam.mx/publicaciones/prensas/matematicas/compacidad.html |
| Access Level: | acceso abierto |
| Palabra clave: | Matemáticas Lógica Teorema de completud |
| Sumario: | El objetivo fundamental de este libro es el estudio del Teorema de Compacidad, sus consecuencias y aplicaciones, así como sus relaciones con el Teorema de Completud. |
|---|