Computability Theory;Vol.62

相似书籍

• Recursive functions.-3rd ed.
  由: Peter, Rozsa
  出版: (1967)
• Recursively enumerable sets and degrees.
  由: Soare, Robert J.
  出版: (1987)
• Recursion theory for metamathematics.
  由: Smullyan, Raymond M.
  出版: (1993)
• Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
  由: Fenstad,J.E.ed
  出版: (1974)
• Computability and logic /
  由: Boolos, George S.
  出版: (2002)