Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
    Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • (1 other version)The undecidability of the Turing machine immortality problem.Philip K. Hooper - 1966 - Journal of Symbolic Logic 31 (2):219-234.
    Download  
     
    Export citation  
     
    Bookmark   6 citations