The undecidablede Davis, MartinMateriasGödel's theoremRecursive functionsTurning machinesTuring machinesComputable functionsUnsolvability (Mathematical logic)Ediciones (2)The undecidable (1965)Raven Press · inglésThe undecidableMás obras de Davis, MartinThe universal computerNa logic ki pogonThe undecidableA