000 00517nam a2200169 4500
001 VA28733
003 ES-SlBCS
005 20210601153118.0
008 140520s1965 xxu||||| |||| 00| 0 eng d
041 _aeng
100 1 _aDavis, Martin
_9354619
245 1 4 _aThe Undecidable
_b:Basic Papers on Undecidable Propositions, Unsoluables Problems and Computable Functions
_cMartin Davis
260 _aNew York :
_bRaven Press
_c, 1965
300 _a440 p.;
_c24 cm
650 _aProblemas Insolubles
_9354620
942 _cBK
999 _c786459
_d786459