Computability theory : an introduction to recursion theory /

類似資料

• Computability : an introduction to recursive function theory /
  著者:: 367112 Cutland, Nigel
  出版事項: (1980)
• Generalized recursion theory II /
  著者:: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), 等
  出版事項: (1978)
• Enumerability, decidability, computability : an introduction to the theory of recursive functions /
  著者:: 430372 Hermes, Hans
  出版事項: (1969)
• Theory of recursive functions and effective computability /
  著者:: 430645 Rogers, Hartley
  出版事項: (1967)
• Generalized recursion theory
  出版事項: (1974)