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)