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