Documenti analoghi

• Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus (Livre papier)
  Goodstein, Reuben Louis, 1912-1985
  North-Holland, 1964
• Recursive function theory and logic (Livre papier)
  Yasuhara, Ann Harris, 1932-2014
  Academic Press, 1971
• Theory of recursive functions and effective computability (Livre papier)
  Rogers, Hartley, 1926-2015
  McGraw-Hill, 1967
• Techniques of Admissible Recursion Theory (Livre numérique)
  Chong, Chi-Tat, 1949-...., mathématicien
• Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 (Livre papier)
  North-Holland, 1965