Computability Theory. Chapman & Hall/CRC, Boca (2004)

by S B Cooper