00613nam a2200181 i 450000100060000000300090000600500170001500700030003200800410003510000190007624501590009526000420025430000280029649000220032470000280034683000220037485200350039672685ES-MaACL20230906171524.0t|040902s1980    sp           ||||1| spa d1 aGödel, Kurt.10aSobre proposiciones formalmente indecidibles de los principios mathematica y sistemas afines / cKurt Goedel ; con una introducción de R.B. Braithwaite.  aValencia : bRevista Teorema, c1980.  aXXXII, 50 p. ; c19 cm.1 aCuadernos Teorema1 aBraithwaite, Richard D.0 aCuadernos Teorema  aES-MaACLj2111-F-18 bR.101252