Mathematical Logic /
Contenido: Cálculo de proposiciones; Cálculo de predicados; Cálculo de predicados con igualdad; Los fundamentos de las matemáticas; Computabilidad y decidibilidad.
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Nueva York, EUA :
Dover,
2002, c2002
|
| Matèries: | |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Sumari: | Contenido: Cálculo de proposiciones; Cálculo de predicados; Cálculo de predicados con igualdad; Los fundamentos de las matemáticas; Computabilidad y decidibilidad. |
|---|---|
| Descripció física: | XIII, 398 p. |
| ISBN: | 0-486-42533-9 |