Book

Computability Theory, Second Edition

by S. Barry Cooper