Recursive function theory and logic. - Academic Press, 1971. - ( Computer science and applied mathematics ).