000 00408nab a2200145Ia 4500
003 ES-SlBCS
005 20210601124220.0
008 140529s1958 xxu||||| |||| 00| 0 eng d
041 _aeng
100 1 _aKreisel, G.
_9137928
245 0 0 _aHilbert's programme
_c G. Kreisel
600 1 4 _aHilbert, David
_d1862-1943
_9137929
773 0 _tDialectica
_gvol. 12, 1958, págs. 346-372
_wbise0000072577
942 _cAR
999 _c511162
_d511162