Computability Theory;Vol.62

Documenti analoghi

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