01047nam a2200301 i 450099100146546970753620020507193950.0970711s1965 us ||| | eng b10851264-39ule_instLE01312663ExLDip.to Matematicaeng511.3AMS 01A05AMS 03-00AMS 03D35Davis, Martin478481The undecidable :basic papers on undecidable propositions, unsolvable problems and computable functions /edited by Martin DavisNew York :Raven Press,c1965440 p. ;24 cm.History of mathematicsMathematical logicUndecidability.b1085126421-09-0628-06-02991001465469707536LE013 03-XX DAV11 (1965)12013000088921le013-E0.00-l- 00000.i1096273628-06-02Undecidable918382UNISALENTOle01301-01-97ma -engus 41