Computability Theory;Vol.62

Documents similaires

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