00906nam--2200313---450-99000322724020331620090424103827.0000322724USA01000322724(ALEPH)000322724USA0100032272420090424d1965----km-y0itay50------baengUS||||||||001yy<<The>> undecidableBasic papers on undecidable propositions, unsolvable problems and computable functionsEdited by Martin DavisNew YorkRaven Press1965440 p.23 cmLogica matematica511.3DAVIS,MartinITsalbcISBD990003227240203316511.3 UND8069/CBS511.300218452BKSCIRSIAV69020090424USA011038Undecidable1011598UNISA