Títulos similares

• Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 (Livre papier)
  North-Holland, 1965
• Techniques of Admissible Recursion Theory (Livre numérique)
  Chong, Chi-Tat, 1949-...., mathématicien
• Computability and logic (Livre papier)
  Boolos, George, 1940-1996, et autres
  University Press, 1974
• Theory of recursive functions and effective computability (Livre papier)
  Rogers, Hartley, 1926-2015
  McGraw-Hill, 1967
• Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus (Livre papier)
  Goodstein, Reuben Louis, 1912-1985
  North-Holland, 1964