Boolos George
Computability And Logic - 2 - London Cambridge Univer., Press 1980 - ,;ill.
0 521 23479 4
Computable Functions
Computability And Logic - 2 - London Cambridge Univer., Press 1980 - ,;ill.
0 521 23479 4
Computable Functions