Enumerability, decidability, computability: an introduction to the theory of recursive functions

類似資料

• Computability and unsolvability
  著者:: Davis, Martin
  出版事項: (1982)
• Computations in higher types
  著者:: Moldestad, Johan
  出版事項: (1977)
• Recursive analysis
  著者:: Goodstein, Reuben Louis
  出版事項: (1961)
• Degrees of unsolvability: structure and theory
  著者:: Epstein, Richard L
  出版事項: (1979)
• A course in mathematical logic
  著者:: Manin, Yuri Ivanovich
  出版事項: (1977)