Lógica para matemáticos
Material type:
TextSeries: Lógica y teoría de la cienciaPublication details: Madrid : Paraninfo, 1981Subject(s): | Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Fotocopia
|
Biblioteca Fac.Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F248 | |
|
Fotocopia
|
Biblioteca Fac.Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F161 | |
|
Fotocopia
|
Biblioteca Fac.Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F179 | |
|
Fotocopia
|
Biblioteca Fac.Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F184 | |
|
Fotocopia
|
Biblioteca Fac.Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-F189 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
| 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 | F.4.1 HUT Logic in computer science : modelling and reasoning about systems |
Copia anillada. --
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.
There are no comments on this title.