01150nam0-2200373---450 99000559917020331620220714144533.0000559917USA01000559917(ALEPH)000559917USA0100055991719981214d1965----|||y0itaa50------baengus0 00|||<<The >> undecidablebasic papers on undecidable propositions, unsolvable problems and computable functionsedited by Martin DavisNew YorkRaven1965440 p.24 cm.TEORIA DELLE DECISIONIFTeorema di incompletezza di GödelFPROPOSIZIONI NON DECIDIBILIFNEW YORK511.3DAVIS,MartinITSA20111219990005599170203316Dipar.to di Filosofia - SalernoDFF.V. UND (667)1754 FILXV.17. 542 (F.V. UND) (667)1754 FILXV.17451032BKFVER20121027USA01152520121027USA011614Undecidable1011598UNISA