Recursive procedures /

Míreanna comhchosúla

• Introduction to the theory of computation.
  de réir: Engeler, Erwin,
  Foilsithe / Cruthaithe: (1973)
• Theory of recursive functions and effective computability.
  de réir: Rogers, H. (Hartley), 1926-
  Foilsithe / Cruthaithe: (1967)
• Recursive function theory and logic /
  de réir: Yasuhara, Ann
  Foilsithe / Cruthaithe: (1971)
• The foundations of intuitionistic mathematics, especially in relation to recursive functions /
  de réir: Kleene, Stephen Cole, 1909-
  Foilsithe / Cruthaithe: (1965)
• Computability : an introduction to recursive function theory /
  de réir: Cutland, Nigel
  Foilsithe / Cruthaithe: (1980)