Recursion theory for metamathematics.

類似資料

• Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
  著者:: Fenstad,J.E.ed
  出版事項: (1974)
• Recursion sequences
  著者:: Markushevich, A.I.ed
  出版事項: (1975)
• Recursion sequences
  著者:: Markushevich
  出版事項: (1975)
• Recursive functions.-3rd ed.
  著者:: Peter, Rozsa
  出版事項: (1967)
• Recursively enumerable sets and degrees.
  著者:: Soare, Robert J.
  出版事項: (1987)