00831nam0-22002891i-450-990000981100403321000098110FED01000098110(Aleph)000098110FED01000098110--------d--------km-y0itay50------baeng<<The >>UndecidableBasic papers on undecidable propositions, unsolvable problems and computable functionsedited by Martin DavisHewlettRaven Press1965440 p.24 cmLogicaRicorsività160Davis,Martin<1928- >51851ITUNINARICAUNIMARCBK9900009811004033217-1315188FI17-131.001FI1FI1Undecidable353378UNINA