Lógica para matemáticos
Material type:
TextSeries: Lógica y teoría de la cienciaPublication details: Madrid : Paraninfo, 1981Subject(s):
Contents:
1- Cálculo de enunciados informal 2- Cálculo de enunciados formal -- 3- Cálculo de predicados informal -- 4- Cálculo de predicados formal 5- Sistemas matemáticos 6- El Teorema de Incompletitud de Gödel 7- Computabilidad, insolubilidad, indecidibilidad -- Ap. Conjuntos numerables y no numerables -- Indicaciones y soluciones de ejercicios seleccionados -- Bibliografía -- Glosario de símbolos -- Indice alfabético.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F248 | ||
|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F161 | ||
|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F179 | ||
|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F184 | ||
|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F189 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 GAL Logic for computer science : foundations of automatic theorem proving | F.4.1 HAM Logic for mathematicians | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos |
1- Cálculo de enunciados informal 2- Cálculo de enunciados formal -- 3- Cálculo de predicados informal -- 4- Cálculo de predicados formal 5- Sistemas matemáticos 6- El Teorema de Incompletitud de Gödel 7- Computabilidad, insolubilidad, indecidibilidad -- Ap. Conjuntos numerables y no numerables -- Indicaciones y soluciones de ejercicios seleccionados -- Bibliografía -- Glosario de símbolos -- Indice alfabético.