CComputability & unsolvabilityComputability & unsolvabilityde Davis, MartinMateriasRecursive functionsEdiciones (1)Computability & unsolvability (1958)McGraw-HillMás obras de Davis, MartinThe universal computerNa logic ki pogonThe undecidableA