THEORY OF RECURSIVE FUNCTIONS AND EFFECTIVE COMPUTABILITY - Rogers, Hartley (New York Mcgraw-Hill, 1967)
Bibliography : P. 459-468
A Portion Of The Material ... Appeared, In Somewhat Different Order And Form, As Theory Of Recursive Functions And Effective Computability, Volume I ... In 1957
Keywords: Recursive Functions