|
|
|
|
| LEADER |
01113nam a22002655a 4500 |
| 001 |
15358 |
| 003 |
AR-SrUBC |
| 005 |
20210617142827.0 |
| 007 |
t||||||||||||| |
| 008 |
960827m||||||||sp #||||r|||||||||||spa|| |
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 164
|2 1995 ES
|
| 100 |
1 |
|
|a Nagel, Ernest.
|9 13684
|
| 245 |
1 |
3 |
|a El teorema de Gödel.
|c Ernest Nagel y James R. Newman.
|
| 260 |
|
|
|a Madrid :
|b Tecnos,
|c 1970.
|
| 300 |
|
|
|a 140 p. ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Estructura y función : el porvenir actual de la ciencia
|
| 505 |
0 |
0 |
|a Contenido: Introducción -- El problema de la consistencia -- Pruebas absolutas de consistencia -- La codificación sistemática de la lógica formal -- Un ejemplo de una prueba absoluta de consistencia -- La idea de representación y su empleo en las matemáticas -- Las pruebas de Gödel.
|
| 534 |
|
|
|t Gödel's proof / Adolfo Martin
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb2
|9 29278
|
| 942 |
|
|
|2 cdu
|b 1996-08-27
|c BK
|d 015589
|h 164
|i NAGt
|z NO
|6 164_NAGT
|
| 999 |
|
|
|c 15358
|d 15358
|