Rogers, Hartley Theory of Recursive Functions and Effective Computability - New York: McGraw-Hill Book Company, 1967. - 482p.; 23cm Subjects--Topical Terms: Algebra Dewey Class. No.: 512.7 / ROG