Sobre proposiciones formalmente indecidibles de los "Principia Mathematica" y sistemas afines . I / Kurt Gödel ; con una introducción de R. B. Braithwaite
Autor principal: | Gödel, Kurt (1906-1978) |
---|---|
Otros autores: | Braithwaite, R. B. |
Formato: | Libro |
Publicación: |
Valencia : Revista Teorema, , imp. 1981 |
Descripción física: | XXXII, 50 p. ; 19 cm |
Depósito legal: |
V. 234-1981 |
Clasificación CDU: |
10-9 161 |
Nota: |
Fecha de publicación de la portada, 1980 |
Colección: |
Cuadernos Teorema
; 8 |
Materias: | |
ISBN: |
84-370-0168-4 |
LEADER | 00976nam a2200301 b 4500 | ||
---|---|---|---|
001 | 000000158106 | ||
003 | CaOOAMICUS | ||
005 | 20160315154827.0 | ||
008 | 111216s1981 sp 000 u spa d | ||
017 | |a V. 234-1981 | ||
020 | |a 84-370-0168-4 | ||
040 | |a FTG |b spa | ||
080 | |a 10-9 | ||
080 | |a 161 | ||
100 | 1 | |a Gödel, Kurt |d 1906-1978 | |
245 | 0 | 0 | |a Sobre proposiciones formalmente indecidibles de los "Principia Mathematica" y sistemas afines |n . I / |c Kurt Gödel ; con una introducción de R. B. Braithwaite |
260 | |a Valencia |b Revista Teorema |c , imp. 1981 | ||
300 | |a XXXII, 50 p. |c ; 19 cm | ||
490 | 0 | |a Cuadernos Teorema |v ; 8 | |
500 | |a Fecha de publicación de la portada, 1980 | ||
650 | 1 | 4 | |a Lógica matemática |
700 | 1 | |a Braithwaite, R. B. | |
830 | 0 | |a Cuadernos Teorema |v ; 8 | |
900 | 1 | |a Braithwaite, Richard Bevan | |
900 | 1 | |a Gödel, Kurt Friedrich |d 1906-1978 | |
990 | 1 | 0 | |a 90001a |b 70001a |
990 | 1 | 0 | |a 90002ad |b 10001ad |
997 | |a 58694 |