Theory of Recursive Functions and Effective Computability

Hartley Rogers; H Rogers
9780262680523
0-262-68052-1