Título: | Compacidad en la lógica de primer orden y su relación con el teorema de completud |
Autores: | Amor-Montaño, J A |
Fecha: |
2011-01-31 2011-01-31 2006 |
Publicador: | Las Prensas de Ciencias |
Fuente: |
Ver documento Ver documento |
Tipo: | Book |
Tema: |
Matemáticas Lógica Teorema de completud |
Descripción: |
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. 146 pp., 21.5 x 15 cm., 220 grs. 2a. edición |
Idioma: | Español |