Computability Theory;Vol.62

Những quyển sách tương tự

• Recursive functions.-3rd ed.
  Bằng: Peter, Rozsa
  Được phát hành: (1967)
• Recursively enumerable sets and degrees.
  Bằng: Soare, Robert J.
  Được phát hành: (1987)
• Recursion theory for metamathematics.
  Bằng: Smullyan, Raymond M.
  Được phát hành: (1993)
• Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
  Bằng: Fenstad,J.E.ed
  Được phát hành: (1974)
• Computability and logic /
  Bằng: Boolos, George S.
  Được phát hành: (2002)