The undecidablede Davis, MartinMateriasTuring machinesRecursive functionsComputable functionsUnsolvability (Mathematical logic)Gödel's theoremGoedel's theoremEdiciones (1)The undecidable (2004)Dover Publication · inglésMás obras de Davis, MartinThe universal computerNa logic ki pogonAA first course in functional analysisA first course in functional analysis