Theory of Recursive Functions and Effective Computability
Publisher: McGraw-Hill
Published: 1967-01-01